C++ 模板类型定义

c++ templates c++11 typedef

我有一堂课

template<size_t N, size_t M>
class Matrix {
    // ....
};

我想创建一个 typedef，它创建一个 Vector（列向量），它等效于大小为 N 和 1 的 Matrix。类似的东西：

typedef Matrix<N,1> Vector<N>;

这会产生编译错误。以下创建了类似的东西，但不完全是我想要的：

template <size_t N>
class Vector: public Matrix<N,1>
{ };

是否有解决方案或不太昂贵的解决方法/最佳实践？

GManNickG

C++11 添加了别名声明，它们是 typedef 的泛化，允许模板：

template <size_t N>
using Vector = Matrix<N, 1>;

Vector<3> 类型等同于 Matrix<3, 1>。

在 C++03 中，最接近的近似值是：

template <size_t N>
struct Vector
{
    typedef Matrix<N, 1> type;
};

这里，类型 Vector<3>::type 等价于 Matrix<3, 1>。

哦，太好了，我还没有看过 C++0x 的这一部分，而且我一直在抱怨模板化 typedef……我想我应该更彻底地阅读最终草案。

继承构造函数会使 OP 的原始解决方案成为更可行的解决方案吗？

@StackedCrooked：取决于他的目标。当组合可以使用时，我会避免继承（是的，继承构造函数会使这两个更容易），但当 typedef 可以使用时，我也会避免组合。

如果我没记错的话 using 不支持专业化，所以第二个选项在很多情况下仍然有用。

@UtkarshBhardwaj 请注意，您可以将两者结合起来，类似于 <type_traits> 包含别名声明的方式，例如 std::remove_reference_t 引用 std:::remove_reference 的各种特化。