is_same template< class T, class U > struct is_same; 如果T与U具有同一const-volatile限定的相同类型,则is_same<T,U>::value为true,否则为false. 使用示例 #include<iostream> #include<type_traits> using namespace std; int main() { cout<<boolalpha; cout<…

请看源码: template<typename _Tp, _Tp __v> struct integral_constant { static const _Tp value = __v; typedef _Tp value_type; typedef integral_constant<_Tp, __v> type; }; /// typedef for true_type typedef integral_constant<bool, true> true_type…

两个一样的类型会返回true bool isInt = std::is_same<int, int>::value; //为true std::cout << std::is_same<int, int32_t>::value << '\n'; // true std::cout << std::is_same<int, int64_t>::value << '\n'; // false std::cout <<…

#include <type_traits> std::is_same 判断类型是否一致 通过std::is_same即可判断两个类型是否一样,特别在模板里面,在不清楚模板的参数时,此功能可以对一些特定的参数类型进行特殊的处理. std::is_same可以判断两种类似是否一样,那么用在模板里就是利器了,本位一开始提到的那个问题就可以这样写: #include <iostream> template<typename TYPE> typeCheck(TYPE data)…

C++11的模板类型判断--std::is_same和std::decay 问题提出:有一个模板函数,函数在处理int型和double型时需要进行特殊的处理,那么怎么在编译期知道传入的参数的数据类型是int型还是double型呢?  如: #include <iostream> template<typename TYPE> void typeCheck(TYPE data) { //do something check data type //std::cout<<…

std::is_same使用很简单 重点在于对源码的解读 参考下面一句静态断言: static_assert(!std::is_same<bool, T>::value, "vector<bool> is abandoned in mystl"); 静态断言优点:可以自定义断言失败之后的输出 便于debug找问题 其中我们用到了std::is_same 点进is_same进行源码分析: template<typename, typename> str…

vector的源码真是太长了,今天用了一个下午和一个晚上看和注释了前面的一千行左右 p.s.博客园的代码高亮真是太垃圾, 如果想要阅读带注释的源码,推荐粘贴到VS2015里,然后按ctrl+z取消自动格式化,用我格式化好的样子,并在最前面#include <vector>和using namespace std,这样就能带高亮的看我加了注释的代码了 花了不短的时间弄明白了vector奇怪的继承方式,用我自己创造的一种标记记法记了下来 _Vector_val<_Val_types>:…

A - The Suspects Time Limit: 1000 MS Memory Limit: 20000 KB 64-bit integer IO format: %I64d , %I64u Java class name: Main Description Severe acute respiratory syndrome (SARS), an atypical pneumonia of unknown aetiology, was recognized as a global thr…

引子 最近准备重构一下我的kapok库,让meta函数可以返回元素为kv的tuple,例如: struct person { std::string name; int age; META(name, age) //定义一个支持变参的meta函数 }; int main() { person p = {“tom”, }; auto tp = p.meta(); static_assert(std::is_same(std::tuple<std::pair<std::string, int>…

template<typename T> struct has_member_foo11 { private: template<typename U> static auto check(int) -> decltype(std::declval<U>().foo(), std::true_type()); template<typename U> static std::false_type check(...); public: )), std:…