をコピーして、現在

Question

を移動する2つのコンストラクタを組み合わせて、自分のおもちゃのクラステンプレートの一つは、非常によく似て2つのコンストラクタを持っています？

template<typename U> 
optional(U&& x) 
{ 
    construct(std::forward<U>(x)); 
} 

Answer 1

に結合するそのようなstd::is_constructibleとstd::is_convertibleなどの形質がoptionalと相互作用する方法を変化させます。たとえば、与えられた：

0 

をしかし、あなたの新しいコードが印刷されます：：

class A {}; 

int main() 
{ 
    std::cout << std::is_constructible<optional<A>, int>::value << '\n'; 
}; 

あなたの元のコードは、プリントアウトでしょう

1 

を、これは望ましくない、とあなたはまだしたい場合あなたの新しいコードと一緒に行くと、enable_ifそれは許容できる種類にUを制限することができます。

他の可能性のある問題は、Tが参照型（例：int&）の場合のみです。その場合、元のコードの2番目のコンストラクタはrvalueを渡しているように疑わしくなり、そのrvalueを非const lvalue参照にバインドしようとしている可能性があります。 Tが決してリファレンスタイプでない場合は、これについて心配する必要はありません。

Answer 2

テンプレート化されたコンストラクタは、コピーコンストラクタであることは決してありません。

Answer 3

ああ、constructorはコンストラクタではなく、メンバー関数テンプレートです。

おそらくセマンティクスが異なります。オリジナルのオーバーロードセットは、左辺値参照または右辺値参照のどちらかをconstに渡します。テンプレートバージョンは、左値参照を非 -constに渡すこともできます。 （私はCONSTへの右辺値参照を無視しています。）

すべてのしやすでconstructはどちらかであるU&&を受け入れることを宣言した（他のTを移動し、あなたの前の過負荷が動作しないでしょう）、この場合、が非で契約がすべきにもかかわらず-const lvalues、またはU const&を受け入れると宣言されており、この場合は無害です。

Answer 4

あなたは、少なくともconstruct(const T& x)、おそらく定義されconstruct(T&& x)の追加を持っている、とタイプUのあなたのオブジェクトのタイプTのオブジェクトに変換可能であると仮定すると、私はあなたが問題ないはずだと思う...

1. 定数construct(const T& x)
2. にタイプU意志の一時的なR値を結合するタイプUのL値基準は、construct(const T& x)
3. にタイプUの非定数L値基準を結合しますconstruct(T&& x)又はconstruct(const T& x)に結合し、R値の基準バージョンを
4. タイプUの定数r値の基準を定義されていない場合は、construct(const T& x)