タグ付けされた質問 「language-lawyer」

次のコードは、c ++ 17モードではclang-trunkで正常にコンパイルされますが、c ++ 2a（今後のc ++ 20）モードでは機能しません。 // Meta struct describing the result of a comparison struct Meta {}; struct Foo { Meta operator==(const Foo&) {return Meta{};} Meta operator!=(const Foo&) {return Meta{};} }; int main() { Meta res = (Foo{} != Foo{}); } また、gcc-trunkまたはclang-9.0.0でも問題なくコンパイルできます。https：//godbolt.org/z/8GGT78 clang-trunkおよび-std=c++2a： <source>:12:19: error: use of overloaded …

11 c++  language-lawyer  eigen  eigen3  c++20 

このドキュメントのセクション2.6計算済みインクルードには、次の段落があります。 行が<トークンで始まり、>トークンを含むトークンストリームに展開される場合、<と最初の>の間のトークンが結合されて、含まれるファイル名が形成されます。トークン間の空白は1つのスペースに削減されます。その後、最初の<の後のスペースは保持されますが、閉じる>の前のスペースは無視されます。CPPは山かっこインクルードのルールに従ってファイルを検索します。 これは実装で定義されていることはわかっていますが、なぜGCCにとってこのようにする必要があるのですか？上記の強調表示された文を具体的に参照しています。 編集 上で引用したものの前の3番目の段落が次のことを言っていることに気づきました。 マクロを定義するときは注意が必要です。#defineテキストではなくトークンを保存します。プリプロセッサは、マクロがの引数として使用されることを知る方法がない#includeため、ヘッダー名ではなく通常のトークンを生成します。文字列定数に十分近い二重引用符を含むインクルードを使用する場合、これが問題を引き起こすことはほとんどありません。 ただし、山括弧を使用すると、問題が発生する可能性があります。 ここでどんな問題が指摘されているか知っていますか？

11 c++  c  gcc  language-lawyer 

次の2つのクラスとインターフェースを検討してください。 public class Class1 {} public class Class2 {} public interface Interface1 {} mandatoryオーバーロードされたメソッドを呼び出すための2番目の呼び出しが、との関係がないClass2場合getInterface1、なぜですか？Interface1Class2 public class Test { public static void main(String[] args) { Class1 class1 = getClass1(); Interface1 interface1 = getInterface1(); mandatory(getClass1()); // prints "T is not class2" mandatory(getInterface1()); // prints "T is class2" mandatory(class1); // prints "T is …

11 java  generics  java-8  language-lawyer  javac 

この例を見てみましょう（ここから来ます）： #include <type_traits> #include <iostream> template <typename U> struct A { }; struct B { template <typename F = int> A<F> f() { return A<F>{}; } using default_return_type = decltype(std::declval<B>().f()); }; int main() { B::default_return_type x{}; std::cout << std::is_same< B::default_return_type, A<int>>::value; } それはgcc9.2でエラーなしでコンパイルしますが、gcc7.2とclang 10.0.0 Bは完了していないことについて不平を言います。Clangsエラーは： prog.cc:11:58: error: member access into …

11 c++  language-lawyer  incomplete-type  declval 

文字列のコンテナを調べて、パターンの一致を見つけて出力するコードがあります。テンプレート化された関数fooで印刷が実行されます コード #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for (auto const &finding : findings) { std::cout << "pos = " << std::distance(first, finding.first) << " "; std::copy(finding.first, finding.second, std::ostream_iterator<char>(std::cout)); …

10 c++  c++11  templates  language-lawyer  template-templates 

私のコード： #include <stdio.h> #include <limits.h> int main() { char c = CHAR_MAX; c += 1; printf("CHAR_MIN=%d CHAR_MAX=%d c=%d (%c)\n", CHAR_MIN, CHAR_MAX, c, c); } 出力： CHAR_MIN=-128 CHAR_MAX=127 c=-128 () char変数セットをにインクリメントするとCHAR_MAX、に戻りCHAR_MINます。この動作は保証されていますか？それとも、未定義の動作または実装固有の動作になりますか？C99標準はこれについて何と言っていますか？ [注：charまたはCにCHAR_MAX（127）より大きい値を指定するとどうなりますか。charc = 129が-127に変換されるのはなぜですか？彼らは範囲外の値に値を増分するのではなく範囲外の値を割り当てることについて話しているので、この質問には触れません。]

10 c  char  language-lawyer  standards  integer-overflow 

以下のサンプルコードでは、実行時に次の例外が発生しdb.Entry(a).Collection(x => x.S).IsModified = trueます。 System.InvalidOperationException： 'エンティティタイプ' B 'のインスタンスは、キー値' {Id：0} 'の別のインスタンスが既に追跡されているため追跡できません。既存のエンティティをアタッチするときは、特定のキー値を持つエンティティインスタンスが1つだけアタッチされるようにしてください。 Bのインスタンスをアタッチする代わりに追加しないのはなぜですか？ 奇妙なことに、のドキュメントにIsModifiedはInvalidOperationException、例外の可能性が明記されていません。無効なドキュメントまたはバグ？ 私はこのコードが奇妙であることを知っていますが、奇妙なegdeのケースでefコアがどのように機能するかを理解するためだけにそれを書きました。私が欲しいのは説明ではなく、回避策です。 using Microsoft.EntityFrameworkCore; using Microsoft.Extensions.Logging; using System; using System.Collections.Generic; using System.Linq; class Program { public class A { public int Id { get; set; } public ICollection<B> S { get; set; } = new List<B>() { new …

10 c#  language-lawyer  entity-framework-core-3.1 

編集2： 以前にC ++ソースファイルに存在していた関数がそのままCファイルに移動され、誤った結果が返され始めたときに、奇妙なテストエラーをデバッグしていました。以下のMVEにより、GCCでの問題を再現できます。しかし、気まぐれでClangを使用して（そして後でVSを使用して）例をコンパイルすると、異なる結果が得られました！これをコンパイラの1つのバグとして扱うのか、CまたはC ++標準で許可されている未定義の結果の明示として扱うのか、私にはわかりません。奇妙なことに、どのコンパイラーも式に関する警告を出しませんでした。 犯人はこの表現です： ctl.b.p52 << 12; ここでp52は、と入力されuint64_tます。組合の一部でもありcontrol_tます（下記参照）。結果は64ビットに収まるため、シフト操作はデータを失わない。ただし、Cコンパイラを使用している場合、GCCは結果を52ビットに切り捨てることを決定します。C ++コンパイラでは、結果の64ビットがすべて保持されます。 これを説明するために、以下のサンプルプログラムは、同一の本体を持つ2つの関数をコンパイルし、それらの結果を比較します。c_behavior()Cソースファイルとcpp_behavior()C ++ファイルに配置されmain()、比較を行います。 サンプルコードを含むリポジトリ：https : //github.com/grigory-rechistov/c-cpp-bitfields ヘッダーcommon.hは、64ビット幅のビットフィールドと整数の和集合を定義し、2つの関数を宣言します。 #ifndef COMMON_H #define COMMON_H #include <stdint.h> typedef union control { uint64_t q; struct { uint64_t a: 1; uint64_t b: 1; uint64_t c: 1; uint64_t d: 1; uint64_t e: 1; uint64_t f: 1; uint64_t g: …

10 c++  c  language-lawyer  bit-fields  truncation 

次のプログラムを検討してください。 #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } プログラムは正常にコンパイルされ、その出力は g( 42 ); 今度は、非テンプレート関数の名前を変更してみましょうgにf。 #include <iostream> …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

impl Add<char> for Stringを標準ライブラリに追加しようとしたときにこの問題に遭遇しました。しかし、オペレーターのシェニガンがなくても、簡単に複製できます。私たちはこれから始めます： trait MyAdd<Rhs> { fn add(self, rhs: Rhs) -> Self; } impl MyAdd<&str> for String { fn add(mut self, rhs: &str) -> Self { self.push_str(rhs); self } } 十分に単純です。これにより、次のコードがコンパイルされます。 let a = String::from("a"); let b = String::from("b"); MyAdd::add(a, &b); この場合、2番目の引数式（&b）のタイプはであることに注意してください&String。次に、それがderef-coercedされ&str、関数呼び出しが機能します。 ただし、次の実装を追加してみましょう。 impl MyAdd<char> for String { fn …

10 rust  language-lawyer 

次のプログラムを検討してください。 #include<stdexcept> #include<iostream> int main() { try { throw std::range_error(nullptr); } catch(const std::range_error&) { std::cout << "Caught!\n"; } } libstdc ++を使用したGCCおよびClang std::terminateは、メッセージを表示してプログラムを呼び出し、中止します terminate called after throwing an instance of 'std::logic_error' what(): basic_string::_S_construct null not valid 例外の構築時にlibc ++のClangがsegfaultします。 godboltを参照してください。 コンパイラは標準に準拠していますか？標準の関連セクション[diagnostics.range.error]（C ++ 17 N4659）は言っていstd::range_error有するconst char*好まれるべきであるコンストラクタのオーバーロードconst std::string&オーバーロード。このセクションでは、コンストラクターの前提条件についても述べておらず、事後条件についてのみ述べています。 事後条件：strcmp(what(), what_­arg) == 0。 what_argnullポインターの場合、この事後条件は常に未定義の動作を持っています。つまり、これは私のプログラムにも未定義の動作があり、両方のコンパイラーが準拠して動作することを意味しますか？そうでない場合、標準でそのような不可能な事後条件をどのように読むべきですか？ 考え直してみれば、それは私のプログラムにとって未定義の動作を意味しているに違いないと思います。そうしないと、（有効な）ヌル終了文字列を指さないポインタも許可されるため、明らかに意味がありません。 …

9 c++  exception  language-lawyer 

この質問は、このコメントから生じています：C ++ 20コルーチンのラムダ寿命の説明 この例について： auto foo() -> folly::coro::Task<int> { auto task = []() -> folly::coro::Task<int> { co_return 1; }(); return task; } したがって、問題は、によって返されたコルーチンを実行するfooとUBになるかどうかです。 （オブジェクトのライフタイムが終了した後の）メンバー関数の「呼び出し」はUBです。http：//eel.is/c++draft/basic.life#6.2 ...オブジェクトが配置される、または配置された保管場所のアドレスを表すポインターは、限られた方法でのみ使用できます。[...]次の場合、プログラムは未定義の動作をします。 [...] -ポインタは非静的データメンバにアクセスしたりするために使用されるオブジェクトの非静的メンバ関数を呼び出し、または ただし、この例では： ()ラムダの有効期間中にラムダの演算子が呼び出されます その後、中断され、 次にラムダが破壊され、 その後、メンバー関数（演算子()）はある時点で再開されます。 この再開は未定義の動作と見なされますか？

9 c++  language-lawyer  c++20  c++-coroutine 

以来P0593低レベルのオブジェクトの操作のためのオブジェクトの暗黙の作成は、オブジェクトが現在作成され、承認された暗黙的に C ++ 20で。 具体的に提案により導入された文言は、（のような特定の操作が可能にstd::malloc）自動的に特定の種類のオブジェクトの寿命を作成して開始するには、いわゆる暗黙の一生のタイプ、場合このようなオブジェクトの導入は持っているそれ以外の場合は未定義の動作でプログラムを引き起こします定義された動作。[intro.object] / 10を参照してください。 ドラフトはさらに、プログラムで定義された動作を与えるために暗黙的に作成できるそのようなオブジェクトの複数のセットがある場合、これらのセットのどれが作成されるかは不特定であると述べています。（関連する文は、私がアクセスできた最後の提案リビジョンR5には存在しないようですが、ドラフトコミットにあります。） 暗黙的に作成されたオブジェクトセットのこの選択が観察可能なプログラムは実際にありますか？言い換えると、この新しいルールを通じて、定義されているが特定されていない動作を伴うプログラムがあり、（複数の可能なオブジェクトのうち）作成された暗黙オブジェクトのタイプのセットを出力から推測できるようになっていますか？ または、この文は、抽象的なマシンでのプログラムの実行を（観察可能な影響なしに）明確にすることだけを目的としていましたか？

9 c++  language-lawyer  c++20 

次のテンプレート構造があるとします。 template<typename T> struct Foo { Foo(T&&) {} }; これはコンパイルTされ、次のように推定されますint。 auto f = Foo(2); しかし、これはコンパイルされません：https : //godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template arguments of 'Foo' auto f = Foo(x); ^ <source>:7:5: note: candidate function …

9 c++  templates  language-lawyer 

私は次のコードを持っています： template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } これをgcc 9.2とclang（9.0）の両方でビルドすると、templateを呼び出すために必要なキーワードが原因で、コンパイルエラーが発生しますfun。Clangのショー： error: use 'template' keyword to treat 'fun' as a dependent template name …

9 c++  templates  language-lawyer  dependent-name