typedef类型检查？

Question

如何让g ++对typedef进行类型检查？可能吗？即。

typedef int T1;
typedef int T2;

T1 x = 5;     //Ok with me
T2 y = x;     //Any way to get an error or a warning here?

我不能使用C ++ 0x功能（我不知道他们是否可以这样做。）

编辑：我想要的是这样的：

typedef int BallID;
typedef int BatID;

BatID x = 10;
map<BatID, Bat*> m;
m.insert(make_pair(x, bigbat));        //OK
BallID y = 15;
m.insert(make_pair(y, smallbat));     //Give me a warning at least plz

这太难问了吗？

Answer 1

使用强类型设置：http://www.boost.org/doc/libs/release/boost/strong_typedef.hpp

Answer 2

扩展Nawaz的答案：当你typedef A B时，B只是A的别名，而不是单独的类型。 <{1}}和x在你的例子中只是y。

如果要创建新类型，请使用一个成员int。

Answer 3

只要T1和T2是相同类型的typedef，就不会收到任何警告！