問題タブ [language-specifications]

以下は、実行をコンパイルし、期待どおりに実行します。

サンプル出力 (実際の出力は、エンディアンと整数サイズに依存する場合があります):

以下はコンパイルされず、 の実装のプロトタイプがcopyThing()クラスで宣言されたものと一致しないというエラーが表示されます。

2 つの唯一の違いは、その実装でsizeof(UNSIGNED_TYPE)>=sizeof(int)が に置き換えられたことです。sizeof(int)<=sizeof(UNSIGNED_TYPE)

明らかに、2 つのステートメントは意味的に同等です。テンプレート プロトタイプが等しいと判断される方法の正式な定義はどこにありますか?

それは明らかに、意味論的同等性ではなく、ある程度の語彙的同等性です。

C# 5 言語仕様の場所はわかっていますが、C# 6 言語仕様はどこにも見つかりません。

C# 6言語仕様はどこにありますか?

Sean Parent のトーク Goals for Better Coding - implement Complete Types at 44:10-44:50 で、Sean は

この [パラメーターを値で受け取るコピー代入演算子を持ち、move コンストラクターも持つクラス] を別のクラスのメンバーとして配置すると、仕様の言語がデフォルトの move コンストラクターを取得しないため、そのクラスはデフォルトの move コンストラクターを取得しません。 「それが移動構築可能な場合」と言うと、「このシグネチャを持つ移動コンストラクタがあります」と表示されます。欠陥があります。頭ではわかりません。

Sean が言及している実際の欠陥レポートを誰か教えてもらえますか?

コードの例を次に示します。

にC# 5 Language Specification Section 1.6.7書かれています：

インスタンス コンストラクターはオーバーロードできます。たとえば、List クラスは 2 つのインスタンス コンストラクターを宣言します。1 つはパラメーターを持たず、もう 1 つは int パラメーターを受け取ります。

ただしIL、このコード用にコンパイルされたものには、2 つのコンストラクターが含まれていません。次の宣言のみが含まれます。

これは、オプションのパラメータがCLRlevel であり、 によって定義されていることを意味します[opt]。

2 つのオーバーロードされたコンストラクターでこのオブジェクトをCLR表現できるランタイムがない場合。

たとえば、オプションのパラメーターをコンパイルせずに 2 つの別個のコンストラクターを作成している場合、2 つの-sILが含まれます。.ctor

明確にしたいのですが、言語仕様がそれを言っているのであればclass declares two instance constructors、コンパイル済みILに 2 ctor-s も含まれるという意味ではありません。

C# 言語仕様7.4.3 関数メンバー呼び出しによると、関数メンバー呼び出しのランタイム処理は次の手順で構成されます。ここで、M は参照型で宣言されたインスタンス関数メンバー、E はインスタンス式です。

1. Eが評価されます。この評価で例外が発生した場合、それ以上の手順は実行されません。
2. 引数リストが評価されます。
3. E の型が値型の場合、E を型オブジェクトに変換するためにボックス化変換が実行され、次の手順で E は型オブジェクトであると見なされます。この場合、M は System.Object のメンバーにしかなれません。
4. E の値が有効であることがチェックされます。E の値が null の場合、System.NullReferenceException がスローされ、それ以上の手順は実行されません。
5. 呼び出す関数メンバーの実装が決定されます...など

nullチェックが2番目のステップではないのはなぜですか? Eがnullの場合に引数リストを評価するのはなぜですか?

オブジェクトのキーと値のペアでキーを指定する場合 (以下の表記を使用)、インタープリターは (明らかに) 文字列の使用を許可します。

ただし、関数 (文字列を返す) を使用して動的にキーを指定することはできません。

その表記法を使用する場合、文字列は静的な値でなければならないと思います。

しかし、それに関するJavaScript言語仕様が見つかりません...

コードは VS 2015 でコンパイルできます。

私はただ疑問に思います：

2 つの方法は両方とも C および/または C++ 標準に準拠していますか?