Specjalizuje się, jeśli wartość zmiennej jest znana/nieznana w czasie kompilacji

Question

Jak specjalizować funkcję szablonu dla przypadku, w którym wartość jednego z jej argumentów jest znana/nieznana podczas kompilacji (przed faktycznym skompilowaniem i uruchomieniem programu)?

Nie mogę dowiedzieć się, jak jeszcze.

Pomysł 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 

Pomysł 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

Cóż, myślę, że masz na myśli typ argumentu, prawda? Wartości nie mają znaczenia dla częściowych specjalizacji szablonów ...

Następnie: Nie można tego zrobić.

Typy parametrów szablonów muszą być znane podczas kompilacji. W jaki inny sposób kompilator powinien wygenerować poprawny kod?

Również w przypadku specjalizacji częściowych szablonów, typy muszą być znane podczas kompilacji z tego samego powodu.