我试图通过将类的一些信息定义为静态 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
中一样,但我有几个模板参数,这样做似乎会让它变得更加混乱。
除了使用宏之外,还有什么方法可以做我想做的事吗?
答案 0 :(得分:3)
如果您希望 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"; }
};