c++ - 不能使用 auto 和 decltype() 时如何避免重复封闭类类型

Question

我最近发现了 C++11 的 auto 和 decltype() 特性，它们非常棒，因为它们可以消除大量冗余类型代码。但是，在某些情况下不能使用它们。我主要问的一个例子是，如果你想直接或作为模板参数声明一个类型使用封闭类类型的变量，并且你没有初始化表达式(这将允许你使用自动)。如果封闭类类型是具有许多模板参数的模板类，这尤其不受欢迎。例如:

template<typename T1, typename T2, typename T3, typename T4, typename T5 > struct S {
    std::map<int,S<T1,T2,T3,T4,T5>*> m1;
    std::map<int,S<T1,T2,T3,T4,T5>*> m2;
    std::map<int,S<T1,T2,T3,T4,T5>*> m3;
    std::map<int,S<T1,T2,T3,T4,T5>*> m4;
    std::map<int,S<T1,T2,T3,T4,T5>*> m5;
};

一个合乎逻辑的解决方案是使用 typedef:

template<typename T1, typename T2, typename T3, typename T4, typename T5 > struct S {
    typedef S<T1,T2,T3,T4,T5> ThisClass;
    std::map<int,ThisClass*> m1;
    std::map<int,ThisClass*> m2;
    std::map<int,ThisClass*> m3;
    std::map<int,ThisClass*> m4;
    std::map<int,ThisClass*> m5;
};

但是必须声明一个只重复封闭类类型的 typedef 仍然是不可取的。

如果你在一个实例方法中，这实际上可以通过推断 *this 的类型来解决，尽管必要的代码比我想要的更冗长:

auto copy(void) {
    typename std::remove_reference<decltype(*this)>::type s = *this;
    // ... do stuff with s ...
    return s;
}

这个解决方案在类范围内不起作用，因为 this 是不允许的并且在实例方法之外没有意义(编译器提示 “在顶层无效使用'this'” )。

所以，我的问题是，当您不能使用 auto 或 decltype() 时，推荐的解决方案是什么，以避免在您使用时重复封闭类的类型必须在类定义中使用它吗？ typedef 是唯一的选择吗？

Answer 1

如果您指的是当前实例化，则无需重复模板参数。

template<typename T1, typename T2, typename T3, typename T4, typename T5 > struct S {
    std::map<int,S*> m1;
    std::map<int,S*> m2;
    std::map<int,S*> m3;
    std::map<int,S*> m4;
    std::map<int,S*> m5;
};

注入(inject)类名 S指的是当前实例化，在本例中为 S<T1, T2, T3, T4, T5> .