在模板类启用方法基于模板类型

Question

我写的模板整数包装类，我想基于模板参数类型的类提供一个分配新建分配FY操作：

template<typename IntType> 
class secure_int { 
public: 
    // enable only if boost::is_signed<IntType> 
    secure_int &operator=(intmax_t value) { 
    // check for truncation during assignment 
    } 

    // enable only if boost::is_unsigned<IntType> 
    secure_int &operator=(uintmax_t value) { 
    // check for truncation during assignment 
    } 
}; 

因为运营商=不是成员模板，那么带有boost :: enable_if_c的SFINAE将不起作用。什么是提供这种功能的工作选项？

Answer 1

你可以把它变成一个成员模板，并默认参数在C++ 11中无效。如果您没有支持该功能的编译器，那么专业化是您唯一的选择。

Answer 2

为什么不使用模板专业化？

template<typename IntT> 
struct secure_int {}; 

template<> 
struct secure_int<intmax_t> 
{ 
    secure_int<intmax_t>& operator=(intmax_t value) 
    { /* ... */ } 
}; 

template<> 
struct secure_int<uintmax_t> 
{ 
    secure_int<uintmax_t>& operator=(uintmax_t value) 
    { /* ... */ } 
};