コンパイル時に変数の値がわかっているかどうか分からない場合

Question

コンパイル時に（実際にプログラムをコンパイルして実行する前に）その引数の値がわかっているか不明である場合のテンプレート関数を特化する方法はありますか？

私はまだどのように把握できません。

アイデア1：

#include <type_traits> 
#include <iostream> 
int main(void){ 
    int a; //value of a is not known at compile time 
    bool b = (a == a); //value of b is known at compile time. 
    std::is_assignable< constexpr bool, bool >::value 
} 
//g++ magic.cpp -std=c++14 
//error: wrong number of template arguments (1, should be 2) 
// std::is_assignable< constexpr bool, bool >::value 

アイデア2：

#include <type_traits> 
#include <iostream> 
int main(void){ 
    const int a=1; 
    int b = (a == a); 
    std::cout << __builtin_constant_p (a) << std::endl; 
    std::cout << __builtin_constant_p (b) << std::endl; 
} 
//prints 0 and 0. 

Answer 1

まあ、私は右、あなたが引数のタイプ意味を推測しますか？値は部分テンプレートの特殊化には関係ありません。

Then：これはできません。

テンプレートのパラメータタイプは、コンパイル時に認識されている必要があります。コンパイラが正しいコードをどのように生成する必要がありますか？

また、部分テンプレートの特殊化では、同じ理由で型をコンパイル時に認識する必要があります。