强类型定义[重复]

Question

有没有办法制作一个类型的完整副本，以便在模板推导上下文中区分它们？举个例子：

#include <iostream>

template <typename T>
struct test
{
    static int c()
    { 
        static int t = 0;
        return t++;
    }
};

typedef int handle;

int main()
{
    std::cout << test<int>::c() << std::endl;
    std::cout << test<handle>::c() << std::endl;
    return 0;
}

由于 typedef 只为类型创建别名，因此打印 0, 1 而不是所需的 0、0。有什么解决方法吗？

Answer 1

引用cplusplus.com，

请注意，typedef 和 using 都不会创建新的不同数据类型。 它们只创建现有类型的同义词。 这意味着该类型 上面 myword 的，用 WORD 类型声明的，也可以考虑 输入无符号整数；这并不重要，因为两者实际上都是 指同一类型。

由于int 和handle 是相同的，所以输出0 1 是预期的。

正如@interjay 建议的那样，有一个解决方法。

您可以使用BOOST_STRONG_TYPEDEF。

BOOST_STRONG_TYPEDEF( int , handle );

Answer 2

按照建议的 BOOST_STRONG_TYPEDEF

template<typename>
struct test {
    static int c() {
        static int t = 0;
        return t++ ;
    } 
};

//Instead of 
//typedef int handle

BOOST_STRONG_TYPEDEF(int , handle) ;  

int main() {

    std::cout << test<int>::c() << std::endl
    std::cout << test<handle>::c() << std::endl ;
    return 0;
}

输出：0 0，因为句柄 不是 int 而是隐式可转换为 int 的类型。

如果您不想使用 BOOST_STRONG_TYPE 则只需添加第二个参数 到您的课程模板：

template<typename, unsigned int N>
struct test {
    static int c() {
        static int t = 0;
        return t++ ;
    }

};

从而使test<int, 0> 和test<handle, 1> 成为不同的类型

int main() {

    std::cout << test<int, 0>::c() << std::endl ;
    std::cout << test<handle,1>::c() << std::endl ;
    return 0;
} 

输出：0 0

您还可以添加宏来生成您的类型：

#define DEFINE_TEST_TYPE(type) \
typedef test<type, __COUNTER__> test_##type;


template<typename, unsigned int N>
struct test {    
     static int c() {
        static int t = 0;
        return t++ ;   
    }
};

typedef int handle ;

DEFINE_TEST_TYPE(int) ;
DEFINE_TEST_TYPE(handle) ;

int main() {
    std::cout << test_int::c() << std::endl ;
    std::cout << test_handle::c() << std::endl ;
    return 0;
}