他のテンプレートに基づいて、テンプレートクラスからプリミティブ型への暗黙的な変換を定義します。

Question

私は2つのテンプレートで定義されたクラスを持っています。

template<typename A, typename B> my_class { 
private: 
    A value; 

public: 
    operator A() { 
     return this->value; 
    } 
}; 

クラスとテンプレートの最初の型の間の暗黙の変換を定義したいが、テンプレート上の特定の第2の型に対してのみ変換を定義したい。 AはC++プリミティブ型なので、私はその側で変換を定義することはできません。私はこの

operator typename std::enable_if<std::is_same<B, specific_B_type>::value, NumT>::type() { 
    return this->value; 
} 

ようstd::enable_ifを試してみましたが、私はコンパイルエラー

Error C2833 'operator type' is not a recognized operator or type dimensional_analysis 

B = specific_B_typeに特化し、クラス全体を定義することなくこれを行うにはどのような方法がありますを取得しますか？

Answer 1

あなたは、変換を許可すべきかどうかをチェックするためにstatic_assertを使用することができます。

operator A() 
{ 
    static_assert(std::is_same<B, specific_B_type>::value, "No conversion possible");  
    return this->value; 
} 

しかし、Bがspecific_B_typeでない場合は、Aへの明示的な変換を持っていないことを意味しています。必要な場合は、テンプレートパラメータに基づいてメンバーを追加および削除することに関するthis質問の回答をご覧ください。