C++ void_t

考虑如下代码：

#include <type_traits>
#include <iostream>
#include <vector>
using namespace std;

template <typename T, typename = void>
struct RangeConcept : std::false_type {};

template <typename T>
struct RangeConcept<T, 
                       std::void_t<
                                   decltype(  std::declval<T >().begin() ),
                                   decltype(  std::declval<T >().end() )
                                  >
                      >
    : std::true_type {};

template<typename Cont>
void show( Cont c){
    static_assert( RangeConcept< Cont >::value, "must be a range. means.. it has begin() and end()" );
}
int main() { 
    std::vector<int> vec{1,2,3,4,5}; show(vec); 
}

这就是C++17带来的void_t神器。写个静态断言无比容易。手写个Concept检查也不再是C++库开发者的专利了。

配合SNINAE和enable_if ,如下：

template<typename T>
void show(T& t, typename std::enable_if< RangeConcept<T>::value >::type* = 0){
    std::cout << "I am a Range" << std::endl;
}

template<typename T>
void show(T& t, typename std::enable_if< std::is_integral<T>::value >::type* = 0){
    std::cout << "I am a others" << std::endl;
}

int main(){
    std::vector<int> vec;
    int x=10;
    show(vec);
}

参考：http://en.cppreference.com/w/cpp/types/void_t

原理：using引入类型别名

#include <iostream>

template<int N,int M>
struct add{
    static constexpr int result = N + M;
};

template<int M>
using add8 = add<8,M>;

int main(){
    std::cout << add8<2>::result;
}

C++17起，支持了变长模板参数

template<typename...Args>
using void_t = void;

int f(void_t<int,char>){}
int f(void){}

int main(){
    f();
}

链接错误。原因在于void_t<int,char>等价于void，因此重定义了两次f();

原文链接: https://www.cnblogs.com/thomas76/p/8602318.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍;

也有高质量的技术群，里面有嵌入式、搜广推等BAT大佬

原创文章受到原创版权保护。转载请注明出处：https://www.ccppcoding.com/archives/397558

非原创文章文中已经注明原地址，如有侵权，联系删除

关注公众号【高性能架构探索】，第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处！

C++ void_t

相关推荐