Question

我试图通过将类的一些信息定义为静态 constexpr 成员来简化一些模板代码。这是一个非常简单的例子：

template <typename _Tp>
class Test
{
public:
    static constexpr bool is_array = std::is_array_v<_Tp>;

    template <typename U = _Tp, typename std::enable_if_t<!is_array>>* dummy = nullptr>
    void print()
    {
        std::cout << "It's not an array\n";
    }

    template <typename U = _Tp, typename std::enable_if_t<is_array>>* dummy = nullptr>
    void print()
    {
        std::cout << "It's an array\n";
    }
};

int main()
{
    Test<char[]>().print();
    Test<char>().print();
}

Clang 说

/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/type_traits:2385:44: error: no type named 'type' in 'std::enable_if<false, void>'; 'enable_if' cannot be used to disable this declaration
    using enable_if_t = typename enable_if<_Cond, _Tp>::type;
                                           ^~~~~
test.cc:11:49: note: in instantiation of template type alias 'enable_if_t' requested here
    template <typename U = _Tp, typename = std::enable_if_t<!is_array>>
                                                ^
test.cc:26:5: note: in instantiation of template class 'Test<char []>' requested here
    Test<char[]>().print();

如果我完全限定 is_array 就可以工作，就像在 Test<U>::is_array 中一样，但我有几个模板参数，这样做似乎会让它变得更加混乱。

除了使用宏之外，还有什么方法可以做我想做的事吗？

Answer 1

如果您希望 SFINAE 适用于某个类的方法，您必须基于该方法的特定模板参数进行测试（所以 U，在您的情况下）。

如果您选中 is_array，则 if 取决于 _Tp（类的模板参数），而不是 U。

但是，如果您至少可以使用 C++14，那么您可以拥有模板变量，因此您可以模板化 is_array

template <typename U>
static constexpr bool is_array = std::is_array_v<U>;

这稍微简化了

您还可以删除 typename 之前的 std::enable_if_t（感谢 _t）并取消 dummy（未使用）。

下面是一个完整的编译示例

#include <iostream>
#include <type_traits>

template <typename T>
struct Test
 {
   template <typename U>
   static constexpr bool is_array = std::is_array_v<U>;

   template <typename U = T,
             std::enable_if_t<not is_array<U>>* = nullptr>
   void print()
    { std::cout << "It's not an array\n"; }

   template <typename U = T,
             std::enable_if_t<is_array<U>>* = nullptr>
   void print()
    { std::cout << "It's an array\n"; }
 };

int main()
{
    Test<char[]>().print();
    Test<char>().print();
}

另一种（可能更好）是使用 bool 模板参数而不是 U；例如

template <typename T>
struct Test
 {
   static constexpr bool is_array = std::is_array_v<T>;

   template <bool B = is_array,
             std::enable_if_t<not B>* = nullptr>
   void print()
    { std::cout << "It's not an array\n"; }

   template <bool B = is_array,
             std::enable_if_t<B>* = nullptr>
   void print()
    { std::cout << "It's an array\n"; }
 };

使用静态 constexpr 成员变量作为模板方法参数

1 个答案: