この正当なC++コードですか？

Question

私は、一般的な意見だけでなく、標準の具体的な一節を挙げて答えに興味があります。

template <class T> struct wrapped 
{ 
     wrapped(const T&) {} 
}; 

template <class T> wrapped<T> wrappit(const T& x) 
{ 
     return wrapped<T>(x); 
} 

template <class T> int run_function(const T& x, bool wrapped) 
{ 
     if (wrapped) { 
       return 0; 
     } else { 
       return run_function(wrappit(x), true) + 1; 
     } 
} 

int main() 
{ 
     const int result = run_function(0.5, false); 
     return result; 
} 

Answer 1

（15）：

インスタンス化における無限再帰の結果は未定義です。

---

あなたのコードについて：あなたはifで静的な条件文を行うことはできません。二つの分岐は最終的に、さらにテンプレートをインスタンス化していない異なるテンプレートを使用しているため、

template <typename T, bool> struct run_function; 
template <typename T> struct run_function<T, true> 
{ 
    static int go(T const & x) { return 0; } 
}; 
template <typename T> struct run_function<T, false> 
{ 
    static int go(T const & x) 
    { return 1 + run_function<T, true>::go(wrappit(x)); } 
}; 

が今何より無限再帰ありません。代わりに、あなたは、いくつかの機能的なアプローチの並べ替え、および部分特殊が必要になります。

Answer 2

準拠している実装では、このコードを拒否することがあります。標準の附属書Bを参照のこと。

あなたの実装は、そのドキュメントに一定の制限を含めることになって、これらが含まれます：14.7.1から

• 再帰的にネストされたテンプレートのインスタンス