C++ 校验指针&引用类型

关注

原创最新推荐文章于 2026-08-07 14:12:58 发布 530 阅读 AI 写同款· GEO 优化 ›

C++ 知识补充向量（vector）是一个封装了动态大小数组的顺序容器（SequenceContainer）。跟任意其它类型容器一样，它能够存放各种类型的对象。可以简单的认为，向量是一个能够存放任意类型的动态数组。C++中map提供的是一种键值对容器，里面的数据都是成对出现的,如下图：每一对中的第一个值称之为关键字(key)，每个关键字只能在map中出现一次；第二个称之为该关键字的对应值。阅读详情

#include <iostream>
#include <vector>
class NullType; // 只有声明，未定义，当做类型占位符

template<typename T>
class TypeTrait{
private:

    // check template U param is pointer
    template<typename U> class IsPointer{
        public:
            enum {isResult = false};
            typedef NullType PointerType;
    };
    template<typename U> class IsPointer<U*> {
        public:
            enum {isResult = true};
            typedef U PointerType;
    };


    // check template U param is reference
    template<typename U> class IsReference{
        public:
            enum {isResult = false};
            typedef NullType PointerType;
    };
    template<typename U> class IsReference<U&>{
        public:
            enum {isResult = true};
            typedef U PointerType;
    };

public:
    enum { isPointer=IsPointer<T>::isResult, isReference=IsReference<T>::isResult};
    typedef typename IsPointer<T>::PointerType PointerType;
};

void Test(){
    std::cout<< TypeTrait<int>::isPointer<<std::endl;
    std::cout<< TypeTrait<int*>::isPointer<<std::endl;

    //TypeTrait<int>::PointerType var; // error, is NullType , not defined;
    TypeTrait<int*>::PointerType var1 = 10;
    int var2;
    bool isInt = typeid(var1).hash_code() == typeid(var2).hash_code(); 
    std::cout<<isInt<<std::endl; // 1, is int type


    std::cout<< TypeTrait<int>::isReference<<std::endl; // 0
    std::cout<< TypeTrait<int*>::isReference<<std::endl; // 0
    std::cout<< TypeTrait<int&>::isReference<<std::endl; // 1

    std::cout<< TypeTrait<std::vector<int>::iterator>::isPointer<<std::endl;// 0
}


int main(){
    Test();
}