鸭打字C++（通过其非类型模板参数的值专门的模板功能）

Question

要有一种鸭子类型的，我做

template<bool b> 
struct A{ 
    static template<typename V> f1(V*, [other params]);  
    static template<typename V> f2(V*, [other params]);    
}; 

template<> template<typename T> 
void A<false>::f1(V*, [other params]){} 

template<> template<typename T> 
void A<true>::f1(V*, [other params]){ 
    ...some code... 
} 

template<int flags> 
struct V{ 
    void f(){ 
    A<flags&Some compile time conditions>::f1 (this,[params]); 
    A<flags&Some compile time conditions>::f2 (this,[params]); 
    } 
}; 

你觉得还有一个更优雅的解决方案，这是不是Template class, function specialization （我不想额外PARAM添加到功能）

我想这样做

template<int X> struct C{ 
void f(){std::cout<<"C::f"<<std::endl;}; 
}; 


template<> struct C<0>{ 
}; 


template<int X> struct D{ 
C<X> c; 

template<bool b> 
void f(); 

void g(){ 
    f<X!=0>(); 
} 

}; 

template<> 
template<int X> 
void D<X>::f<true>{ 
c.f(); 
}; 

template<int X> 
template<> 
void D<X>::f<false>{}; 


int main(){ 
D<3> ch; 
ch.g(); 

D<0> cn; 
cn.g(); 

} 

但这并不是有效的代码，并我得到错误：用作声明的template-id'f'。

有没有办法通过其非类型模板参数的值专门化模板函数？

Answer 1

template<> 
template<int X> 
void D<X>::f<true>(){ 
c.f(); 
}; 

template<int X> 
template<> 
void D<X>::f<false>(){}; 

这是非法的（所有尝试都是）。当你专门化一个成员函数模板时，它的封闭类也必须专门化。

但是，您可以通过将您的函数包装在模板化的结构中来轻松克服该问题，该结构将采用其模板参数。类似于

template <int X, bool B> 
struct DXF; 

template <int X> 
struct DXF<X, true> 
{ 
    static void f() { // B is true! 
    } 
}; 

template <int X> 
struct DXF<X, false> 
{ 
    static void f() { // B is false! 
    } 
}; 

并且用DXF<X, (X!=0)>::f()来称呼它。

但是，看起来你只是想专注于X==0。在这种情况下，你可以专注：

template <> 
void D<0>::f() {} 

注意f在这种情况下是不是一个成员模板。

---

你可以去的另一个选择是重载。你可以换你int在一些模板的参数列表，像这样：

template<int X> struct D{ 
C<X> c; 

void f(std::true_type*) { ... true code ... } 
void f(std::false_type_*) { ... false code ... } 
void g(){ 
    f((std::integral_constant<bool, X!=0>*)0); 
} 

_{注意true_type和false_type只是typedef S的std::integral_constant<bool, true>和false，RESP。}