C++ 部分模板模板特化

Question

我想將部分模板特化傳遞給模板模板參數，但出現錯誤。 我不知道為什么這不工作。

template<template<typename, int> class V, typename T, int N, int... Indexes>
class Swizzle
{
    // ...
};

template<typename T, int N>
struct Vector;

template<typename T>
struct Vector<T, 3>
{
    // ...

    union
    {
        // ...
        Swizzle<Vector, T, 3, 0, 0, 0> xxx;
    };
};

錯誤：

“Vector”：模板參數“V”的模板參數無效，需要類模板“Swizzle”：使用類模板需要模板參數列表

問題僅出現在MSVC 上

Answer 1

在類模板Vector ， Vector既指模板實例的類型，也指模板本身。

這應該編譯：

template<class X, int M>
using Self = Vector<X,M>;
// ...

union
{
    // ...
    Swizzle<Self, T, 3, 0, 0, 0> xxx;
};

我懷疑 MSVC 在這里是錯誤的，但我不確定。

Answer 2

在類名注入的類中， Vector可能會同時引用模板實例的類型和模板本身。

在以下情況下，注入的類名被視為類模板本身的模板名：

[..]

• 它用作對應於模板模板參數的模板參數

所以 Msvc 在這里是不正確的。

可能的解決方法：

Swizzle<::Vector, T, 3, 0, 0, 0> xxx;

演示