std::void_t
STD：无效[医]T型
| Defined in header | | |
|---|---|---|
| template< class... > using void_t = void; | | (since C++17) |
将任意类型的序列映射到类型的实用元功能。void...
注记
此元功能用于模板元编程以检测SFINAE上下文中的错误类型：
二次
// primary template handles types that have no nested ::type member:
template< class, class = std::void_t<> >
struct has_type_member : std::false_type { };
// specialization recognizes types that do have a nested ::type member:
template< class T >
struct has_type_member<T, std::void_t<typename T::type>> : std::true_type { };
二次
它还可用于检测表达式的有效性：
二次
// primary template handles types that do not support pre-increment:
template< class, class = std::void_t<> >
struct has_pre_increment_member : std::false_type { };
// specialization recognizes types that do support pre-increment:
template< class T >
struct has_pre_increment_member<T,
std::void_t<decltype( ++std::declval<T&>() )>
> : std::true_type { };
二次
直到CWG 1558%28a C++14缺陷%29，未使用参数别名模板无法确保SFINAE，因此可以忽略它，因此早期的编译器需要更复杂的void_t，例如。
二次
template<typename... Ts> struct make_void { typedef void type;};
template<typename... Ts> using void_t = typename make_void<Ts...>::type;
二次
实例
二次
#include <iostream>
#include <type_traits>
#include <vector>
#include <map>
class A {};
template <typename T, typename = void>
struct is_iterable : std::false_type {};
template <typename T>
struct is_iterable<T, std::void_t<decltype(std::declval<T>().begin()),
decltype(std::declval<T>().end())>>
: std::true_type {};
int main()
{
std::cout << std::boolalpha;
std::cout << is_iterable<std::vector<double>>::value << '\n';
std::cout << is_iterable<std::map<int, double>>::value << '\n';
std::cout << is_iterable<double>::value << '\n';
std::cout << is_iterable<A>::value << '\n';
}
二次
产出：
二次
true
true
false
false
二次
另见
| enable_if (C++11) | hides a function overload or template specialization based on compile-time boolean (class template) |
|---|
© cppreference.com
在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。
