鉴于此C++ 11代码:
#include <type_traits>
enum Enum { EnumValue };
template <typename>
struct Pred { constexpr static bool const value = true; };
template <
typename T,
typename ::std::enable_if<
Pred<T>::value,
Enum
>::type = EnumValue>
class Huh {};
template <typename T>
constexpr bool f(Huh<T> const &) noexcept { return true; }
static_assert(f(Huh<int>()), "");
我从GCC 7.3.0收到以下错误消息:
test.cpp:19:27: error: no matching function for call to 'f(Huh<int>)'
static_assert(f(Huh<int>()), "");
^
test.cpp:17:16: note: candidate: template<class T> constexpr bool f(const Huh<T>&)
constexpr bool f(Huh<T> const &) noexcept { return true; }
^
test.cpp:17:16: note: template argument deduction/substitution failed:
test.cpp:19:27: note: template argument '(type)0' does not match 'EnumValue'
static_assert(f(Huh<int>()), "");
^
如果我使用
int
和0
而不是Enum
和EnumValue
,则错误消失了。 为什么没有枚举会失败? 最佳答案
您可以大吃一惊,并告诉编译器无法推断出什么:
static_assert(f<int>(Huh<int>()), "");
Success
如果看不见的东西很普遍,那么您可以将其定位在某些有条件的包装中。