必要な出力

Question

だが、私は次のテンプレートを持っていると言う取得する機能の連鎖を探す

template<> 
B my_cast<B, A>(const A& a) { /* stuff */ } 
template<> 
X my_cast<X, A>(const A& a) { /* stuff */ } 
template<> 
C my_cast<C, B>(const B& b) { /* stuff */ } 
template<> 
C my_cast<C, X>(const X& x) { /* stuff */ } 

template<> 
V my_cast<V, A>(const A& a) { /* stuff */ } 
template<> 
Z my_cast<Z, V>(const V& v) { /* stuff */ } 

私はZへAからキャストしたい場合は、私はそのような2つのキャストを組み合わせなければならないでしょう：auto z = my_cast<Z>(my_cast<V>(some_a));

これは明らかに例です。私はこのような数十回のキャストを経なければならない場合を想像しています。これを手動でコーディングすることは明らかに不可能です。 my_cast<Z>(some_a)が自動的に解決されるように、コンパイル時にこれらのパスを自動的に見つける方法はありますか？

これは、悲しいことに、AからCへのキャストのようないくつかのあいまいさをもたらす可能性があります。これは、A→B→C、またはA→X→Cの2通りあります。この場合、コンパイルエラーは満足のいくものです。

Answer 1

いいえ、これは自動的には実行できません。 1つのレベルの自動変換は許可されていますが、コンパイラは単にそれ以上の処理を行わないだけです。