libC++とlibstdC++ std :: is_move_assignable：どちらが一番正しいですか？

Question

私は、C++ 14の標準をlibC++とlibstdC++のソースとともに読んで、C++について深く理解しようとしています。さまざまなtype_traitsアイテムの実装は、特にis_move_assignableの2つで異なり、どちらが「正しい」かを判断しようとしています。

のlibC++：

template <class _Tp> struct is_move_assignable 
    : public is_assignable<typename add_lvalue_reference<_Tp>::type, 
          const typename add_rvalue_reference<_Tp>::type> {}; 

のlibstdC++：

template<typename _Tp, bool = __is_referenceable<_Tp>::value> 
    struct __is_move_assignable_impl; 

template<typename _Tp> 
    struct __is_move_assignable_impl<_Tp, false> 
    : public false_type { }; 

template<typename _Tp> 
    struct __is_move_assignable_impl<_Tp, true> 
    : public is_assignable<_Tp&, _Tp&&> 
    { }; 

template<typename _Tp> 
    struct is_move_assignable 
    : public __is_move_assignable_impl<_Tp> 
    { }; 

標準状態：

参照可能型T、​​と同じ結果は、そうでなければfalse。

私が指摘まず最初にlibC++が移動代入演算子は、非const右辺値をとるので、右のようではありません2番目のテンプレートパラメータにconstを適用することです。 libstdC++は__is_referenceableも使用していますが、これは標準の言葉に従いますが、libC++では使用できません。その要件はlibC++のadd_lvalue_referenceとadd_rvalue_referenceの使用でカバーされていますか？どちらも独自に__is_referenceableを適用していますか？

それぞれのプロジェクトがソリューションを選択した理由について、私は本当に洞察に感謝します。

Answer 1

:-)より多くのテストを記述する必要があるよう

が見える、2つの実装は、同じことを行います。

（差分から判断すると、それは確かにis_copy_assignableの（間違った）実装からC & Pの問題であるように思わ:)私には、一時的な狂気のように見えます。）

参照不可能（すなわち何のために、 cv voidまたはabominable関数タイプ）、libstdC++はfalse_typeを返します。

libC++では、add_{l,r}value_referenceは変更しません（これはC++ 14以降の問題解決に依存します）。上にconstを散布するとAFTには何も起きず、voidタイプにはconstが追加されます。 T == U == some AFTまたはT == some void typeとU = some const-qualified void typeのいずれかのために、declval<T>() = declval<U>()の整形をSFINAEは、テスト

私たちは、その後is_assignableに行き、。すべての場合において、表現は（SFINAEに優しい方法で）間違って形成されているので、我々はfalse_typeを返す。

2つは同等です。

Answer 2

ありがとうございます！作者がconstを追加した理由は何ですか？ ;-)

https://github.com/llvm-mirror/libcxx/commit/6063ec176d5056683d6ddd310c2e3a8f1c7e1b46#diff-48f5ee43879b5ad38888f0a6ead10113R1245私はconstを削除し、現在のユニットテストを実行し、何が失敗しました：

私の最高の推測では、一時的な（たぶん）狂気です。

Answer 3

__is_referenceableは、標準ではない内部のlibstdC++ルーチンです。 （それは悪いことではない、ちょうど私がlibC++にそれを使うことを期待しているわけではない）。また、「参照可能」という概念は、is_move_assignableよりもずっと後に来た。

__is_referenceableは、「嫌な機能」を扱うときに役立ちます。 int (*) (double) &&のようなものです。 libcの余分なconstが++無意味にも無害であるので、私が参照可能何のために