关于参数值的自动模板功能专业化

Question

template<bool encodeit, typename T> 
std::string encap(const char* tag,T s,alignT alignement=alignDisable,bool encodeit=false){ 

我想基于传递的函数参数自动专门化上述函数定义。 它为什么不起作用？ （应该不是很好，让它工作？）。

Answer 1

只有在encodeIt是编译时常量时才能使用。如果是这样，你可以使用tag分派：

template<typename T> 
std::string encap(const char* tag, T s, std::true_type encode, 
//         tag ^^^^^^^^^^^^^^ 
        alignT alignment=alignDisable) { 
    //true version 
} 


template<typename T> 
std::string encap(const char* tag, T s, std::false_type encode, 
//         tag ^^^^^^^^^^^^^^^ 
        alignT alignment=alignDisable) { 
    //false version 
} 

然后你只需要调用是这样的：

encap(tag, s, std::true_type{}); //calls true version 
encap(tag, s, std::false_type{}); //calls false version 

//calls true or false version depending on should_encode 
encap(tag, s, std::integral_constant<bool, should_encode>{}); 

如果你想收拾呼叫了一下，你可以换标签调度，如建议通过纳米：

template <bool Encode, typename T> 
std::string encap(const char* tag, T s, alignT alignment=alignDisable) 
{ 
    return encap(tag, s, std::integral_constant<bool, Encode>, alignment); 
} 

那么你会叫这样的：

encap<true>(tag, s); //calls true version 
encap<false>(tag, s); //calls false version 

//calls true or false version depending on should_encode 
encap<should_encode>(tag, s); 

Answer 2

我不确定通过将“true”（或）“false”作为模板特化（或）作为函数参数传递给您有什么好处。

但是如果你的特化有它已经

#include <iostream> 

template <bool encode, class T>                                                     
void hello(T data) 
{ 
    if (encode) 
    { 
     std::cout << "encode is trus" << std::endl; 
    } 
    std::cout << "Data is " << data << std::endl; 

} 

int main() 
{ 
    hello<true,int>(5); 
    hello<false,int>(6); 
}