c++ - 如何使用 type_traits 仅在特定类型上添加模板类的成员函数 | C++

Question

template <typename T>
class A
{
        template <std::enable_if_t<std::is_signed_v<T>, bool> = true>
        constexpr value_type determinant()
        {
            
        }
}

我想仅当类型 T 是有符号类型时才实例化行列式函数 所以我尝试了这段代码，但是当 T 类型是无符号编译器时，编译器仍然尝试实例化行列式函数。

我不想专门针对每个签名类型 T 的模板函数。
我想使用 std::is_signed_v 类型特征来简化代码

Answer 1

使用 SFINAE，当测试的条件与方法本身的模板参数相关时，您可以启用/禁用类的方法。无法测试类的模板参数。

您可以解决通过默认为类/结构模板参数类型的方法模板参数传递的问题。

例如

#include <iostream>
#include <type_traits>

template <typename T>
struct foo
 {
   template <typename U = T,
             std::enable_if_t<std::is_signed_v<U>, bool> = true>
   constexpr std::size_t bar ()
    { return sizeof(T); }
 };

int main() 
 {
   foo<signed int>   fs;
   foo<unsigned int> fu;

   fs.bar(); // compile
   //fu.bar(); // compilation error
 }

这个解决方案的问题是你可以“劫持”它解释一个模板参数

fu.bar(); // compilation error
fu.bar<int>(); // compile 

为了避免劫持风险，您可以(其他解决方案也是可能的，但这是我的首选)在 U

之前添加一个非类型可变参数模板参数

// .......VVVVVVVV  add this to avoid the hijacking problem
template <int ...,
          typename U = T,
          std::enable_if_t<std::is_signed_v<U>, bool> = true>
constexpr std::size_t bar ()
 { return sizeof(T); }

// ...

fu.bar(); // compilation error
fu.bar<int>(); // compilation error
fu.bar<1, 2, 3, int>(); // compilation error