C++ 使用模板为原始类型创建别名？

Question

我正在尝试写一些东西来包装 simd 内在函数，我认为做类似的事情会很好

using vec<float, 4> = __m128;

这样我就可以在以后编写的一些代码中使用模板。这与问题无关，但 __m128 是代表 4 个 float 的类型。这不起作用，g++ 说 expected nested-name-specifier before 'vec' 。我知道我可以编写类来包装它们，或者我可以做类似的事情:

template <typename T, int N> struct vec;

template<> struct vec<float, 4>
{
    typedef __m128 type;
};

然后我可以使用vec<float,4>::type ，但第一种方式要方便得多。我认为使用类似 C++ template typedef 之类的东西可能是可能的，但我不确定，也不知道语法。有什么方法可以使第一个语句起作用或执行类似的操作吗？

Answer 1

不，第一个不起作用。考虑到当前的规则，这是没有意义的(你不能劫持这样的模板的语法)。

然而，你的第二个解决方案是完美的!您只需要稍作调整即可:

namespace impl {
    template <typename T, int N> struct vec;

    template<> struct vec<float, 4>
    {
        typedef __m128 type;
    };
}

template<typename T, int N>
using vec = typename impl::vec<T, N>::type;

现在vec是一个实际的模板，引用相应结构的type。