要件::

Question

C++ 11を無視するオブジェクトがstd::ignoreと呼ば紹介：簡潔にするために

const /* unspecified */ ignore; 

、私が言うことができるものから

typedef decltype(std::ignore) T; 

を聞かせて、Tのための唯一の要件は、ということです [C++ 11,20.4.2.4:7]という仕様のため、CopyAssignableです。

g ++ - 4.8では、がさらにDefaultConstructible（たとえば、T x;コンパイル）であることがわかります。この実装定義の動作ですか？

（私が見逃しているT上の他の要件がある場合は、手の込んだしてください。）

Answer 1

標準は、それが区別されるタイプであるという事実以外に、ignoreの種類に何要件はありません他のすべてのタイプ。

tieと一緒に使用するときに、標準ライブラリコンテナがignoreが必要な動作を得ることができるようにするすべての機構は、その標準ライブラリの実装に従います。ライブラリには、template<T&> operator=(const T&)の負荷がかかります。また、動作させるために他のメカニズムを使用することもできます。標準は言っていない。したがって、CopyAssignableである必要はありません。

tieは、が具体的にはignoreを使用している場合にのみ特別な動作をすることに注意してください。自分で作成した他の値を使用している場合（タイプに要件がないため、実行できない場合があります）、未定義の動作が発生します。

Answer 2

私が言うことができるものから、Tのための唯一の要件は、それが原因std::tie [C++ 11、20.4.2.4:7]の仕様に、CopyAssignableであるということです。

正式には、配置する必要は全くないと思います。 tie()がignoreを引数として受け入れることができるということは、その型の値をタプルに格納しなければならないということを意味するものではありません。実際に起こることはほとんどありそうですが、これは必ずしも正式な仕様。

この実装定義の動作ですか？

実装は（この点を明確にするためのピート・ベッカーのおかげで）、それを文書化する必要がないのでいいえ、動作は、不定です。