嵌套模板类专用化的语法

Syntax for specialization of nested template class

本文关键字：语法 专用 嵌套      更新时间：2023-10-16

我正在尝试找出嵌套模板类显式专用化的正确语法。 以下代码将更好地说明：

struct Column_Major;
struct Row_Major;
template<size_t rows, size_t cols, typename T, typename Allocator>
class Matrix
{
    /* bunch of members */
    template <typename storage = Column_Major>
    class Iterator
    {
        /* bunch of members */
    };
};

我想为template <> class Matrix<...>::Iterator<Row_Major写一个明确的专业化，但语法让我无法理解。 我怀疑，如果没有对包含类 Matrix 的显式特化，就不可能显式专用化 Iterator 类。 但如果有办法做到这一点，我会很高兴。

我知道我可以使 Iterator 类成为一个单独的类，而不是 Matrix 类的成员，但是将类嵌套为这样允许我完全访问 Matrix 类的模板参数和数据meber，这简化了事情。 我知道如果需要，我可以解决这个问题，但我首先想调查和了解嵌套方法的可能性。

谢谢什穆埃尔

对于显式特化，您需要先对外部类进行专用化，然后再对内部类进行专用化，例如您可以看到这个问题。

有一种解决方法是使用部分专用化：

template<size_t rows, size_t cols, typename T, typename Allocator>
class Matrix
{
    //                           Notice the additionnal dummy parameter
    //                                       vvvvvvvvvvvvv
    template <typename storage = Column_Major, bool = true>
    class Iterator
    {
    };
    // Specialization
    template <bool dummy>
    class Iterator<Row_Major, dummy>
    {
    };
};
您可以使用

C++11 使 Synxis 答案（使用默认虚拟参数）更加干净：

/// template <typename X>, not needed for the example
struct Outer
{
private:
    template <typename A, typename D = void>
    struct Inner
    {
        Inner()  { cout << "default" << endl; }
    };
    template <typename D>
    struct Inner<int,D>
    {
        Inner()  { cout << "int" << endl; }
    };  
public:
    template <typename T>
    using  Nested = Inner<T>;
};

这种改进的优点是 Nested 的签名只有一个模板参数，如果您想在模板元编程中正确匹配它，我认为这将有所帮助。

我很

惊讶嵌套类的模板参数不是父类的参数。

嵌套类可以使用父类

的模板参数，这会将嵌套类与父类更紧密地联系在一起。 您对迭代器一词的使用表明这很好，迭代器肯定会迭代父级包含的相同类型？

我会这样做：

template <class T>
class Outer
{
public:
    class Inner
    {
        void Fn( T in )
        {
        }
    };
};
// specialisation
void Outer<double>::Inner::Fn( double in )
{
}
相关文章：