关于typedef
传统的typedef机制允许对已存在的type提供synonym或者alias，我们把这种的传统的typedef（包括c++11中的alias声明）描述为“透明类型机制”：这种声明引入了新的类型名称，但不是新的类型。被定义为新引入的alias的类型与被定义为原来类型的变量，完全一样，不会有一丁点行为上的差别。
问题
但是这种特性在某些场景下会有缺陷。
问题1
1
2
3
4
5
| using score = unsigned;
score penalize(score n) { return n > 5u ? n - 5u : score { 0u }; }
using serial_number = unsigned;
serial_number next_id(serial_number n) { return n + 1u; }
|
使用新的alias可以很明显的了解以上代码的意图，但实际上这样的使用意图在错误使用alias的情况下，是无法保证的，或者说是不可实行的(unenforceable)。
unsigned, next_id和serial_number是可以互换的。penalize()所penalize的不一定是score，也可以是serial_number。这样虽然编译器不会报错，但是代码没有意义。编码的时候如果错误的使用了alias，还会导致难以track的问题。
问题2
1
2
3
4
5
6
7
8
9
| typedef int sound_id;
sound_id create_sound(...)
void destroy_sound(sound_id id);
typedef int sprite_id;
void destroy_sprite(sprite_id);
sound_id fx = create_sound(...);
destroy_sprite(fx); // An honest mistake!
|
这里的问题也是类似问题1。或许你可以认为自己能够小心的编码，来保证alias的正确使用，但是这种欺骗自己的想法，并不能100%的保证问题不会发生。If they can happen, they will happen!
问题3
这个问题也是类似，但不仅仅会有误用的风险，同时还导致了类型系统的问题。
1
2
3
4
5
6
7
8
9
| typedef double X, Y, Z; // Cartesian 3D coordinate types
typedef double Rho, Theta, Phi; // spherical 3D coordinate types
class PhysicsVector {
public:
PhysicsVector(X, Y, Z);
PhysicsVector(Rho, Theta, Phi);
· · ·
}; // PhysicsVector
|
在上述例子中，typedef的大量使用实际上破坏了类型系统（问题域中的类型和构造函数中的类型）。笛卡尔坐标系的三个坐标值和球坐标系中的，虽然都是double，但明显意义是不一样的。尽管误用编译器不会报错，但是程序是有bug的。
另一个问题是，两个构造函数实际上就是一个，它接受三个double类型的参数。但这里的意图是，分别为两种坐标系建立构造函数。
解决
opaque type(clang++ 3.5.1, g++4.8.2和VS2013都不支持)
引入opaque（不透明的） typedef，在发生误用时，由编译器来检查。
opaque typedef定义了一种新的类型，这种新的类型与它的underlying type不同，并且与它的underlying type是可区分的，同时还保证了与它的underlying type的layout compatibility。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
| template<class Tag, class impl, impl default_value>
class ID
{
public:
static ID invalid() { return ID(); }
// Defaults to ID::invalid()
ID() : m_val(default_value) { }
// Explicit constructor:
explicit ID(impl val) : m_val(val) { }
// Explicit conversion to get back the impl:
explicit operator impl() const { return m_val; }
friend bool operator==(ID a, ID b) { return a.m_val == b.m_val; }
friend bool operator!=(ID a, ID b) { return a.m_val != b.m_val; }
private:
impl m_val;
};
|
这个方法相当与简单的包装了一下。参数Tag其实并没有在模板里面使用，它的使用方式如下：
1
2
3
4
5
| struct sound_tag{};
typedef ID<sound_tag, int, -1> sound_id;
struct sprite_tag{};
typedef ID<sprite_tag, int, -1> sprite_id;
|
tag保证了sound_id和sprite_id是不同的type，换句话说，只要函数声明了不同了type，它们就不会被误用。
BOOST_STRONG_TYPEDEF
如果使用boost库，那么boost提供了BOOST_STRONG_TYPEDEF。
1
2
| BOOST_STRONG_TYPEDEF(int, a);
BOOST_STRONG_TYPEDEF(T, D);
|
这个宏为类型T创建了新的类型名D。
参考
Type safe handles in C++
Toward Opaque Typedefs for C++1Y, v2