由于模板实例化导致的意外类型

Question

我有以下（简化的）代码：

   template<typename T>
    class VarArray
    {
       typedef T* iterator;
    };

    void get_setpoints()
    {
         VarArray<int>::iterator mirror_id;
         int id;
         *mirror_id = id;
    }

*mirror_id 的类型是int。到现在为止还挺好。

现在我要在中间添加2个完全不相关的typedef：

template<typename T>
class VarArray
{
   typedef T* iterator;
};

typedef int MySpecialType;
typedef VarArray<MySpecialType> bool_t;

void get_setpoints()
{
     VarArray<int>::iterator mirror_id;
     int id;
     *mirror_id = id;
}

由于这些额外的 typedef，*mirror_id 的类型突然变成了MySpecialType，而我真的希望它是int 的类型。至少 Microsoft Visual Studio C++ 编译器和 EDG C++ 编译器似乎是这种情况。

我认为这很可怕的原因是一些嵌套的未知包含文件可能会突然将变量的类型更改为其他类型。你不知道它，如果你知道，就很难弄清楚它来自哪里。

所以我的问题是，这种行为是否符合 C++ 标准？如果是这样，是故意的吗？

Answer 1

没有类型更改：MySpecialType 是 int 的类型别名（同义词）。没错：这两个是同一类型。

在您的示例中，mirror_id 是 VarArray<int>::iterator，但也是 MySpecialType* 和 int*。这些都是相同的类型。

让您感到困惑的是 MSVC++ 没有调用与您在程序中使用相同名称的变量类型（这是 MSVC++ 的一个错误，应该修复）。

据我所知（从评论中）您期望所谓的“强类型定义”，C++ 不直接支持 - 您可以将 int 放入结构中，然后转发所有必要的操作。

class MySpecialType
{
    int wrapped_int;
public:
    MySpecialType(int a) : wrapped_int(a) { }
    explicit operator int() const { return wrapped_int; }
    int get() const { return wrapped_int; }
};