为什么模板类型定义在 C++(不是 C++11）中是一个问题

Why is template typedef an issue in C++ (not C++11)

本文关键字：问题 一个 C++11 不是 类型 定义 C++ 为什么      更新时间：2023-10-16

在这个问题中，OP要求模板typedef的解决方案，这在C++是不可能的。OP自己也提出了一个解决方案，但不喜欢它：

template<size_t N, size_t M>
class Matrix {
    // ....
};
// Problem - will not compile
typedef Matrix<N,1> Vector<N>;
// Solution
template <int N>
class Vector: public Matrix<N,1>
{ };

我的问题是，与OP的解决方案相比，Helper::type解决方案给我们带来了什么优势（假设这些类永远不会被基指针使用或new这样使用）？空类在发布中应该没有开销（或者它吗？我能看到的唯一缺点是，在调试版本中，调试时必须扩展基类。

编辑：除了选定的答案外，请参阅@Dani的答案，他建议继承的版本需要定义构造函数，这增加了不便。

typedef的要点是定义类型别名。子类不是类型别名 - 它是一种新类型。

例如，想象一些库函数

template<size_t N, size_t M>
Matrix<N, M> * createMatrix();

现在使用帮助程序类型

Vector<3>::type * var = createMatrix<3, 1>();

是合法的。
有继承

Vector<3> * var = createMatrix<3, 1>();

莫。

这是因为构造函数不是继承的（在 c++11 中默认不是）。因此，您必须复制所有非默认构造，即使您只是在实现中调用基类构造函数。

除了每个人都喜欢语法（这可能是主观的）之外，主要区别在于，通过固有，向量实际上是另一种衰减成矩阵的类型，而使用包含 typedef 的助手，vector 是矩阵的别名（至少对于部分特化适用的内容）。

差异需要向量来重新定义构造函数（不是继承的），或者在根据模板专用化定义的操作的情况下存在一些潜在的陷阱（使用 typedef，它们永远不会被视为"differnet"）

相关文章：