使用作为类成员的类模板

Question

您可以从命名空间中获得类模板的“简写”，只需给出模板的名称即可。但是，如果类模板在一个类中，我必须创建一个别名模板并写出所有模板参数和参数——这不利于可维护性：

namespace mynamespace {
    template<template<class> class T>
    class MyClass;
}

using mynamespace::MyClass; // OK, straight and simple

class MyOuterClass {
public:
    template<template<class> class T>
    class MyInnerClass;
};

// using MyInnerClass = MyOuterClass::MyInnerClass; // error: invalid use of template-name 'MyOuterClass::MyInnerClass' without an argument list

// template<typename... TArgs> // error: type/value mismatch at argument 1 in template parameter list for 'template<template<class> class T> class MyOuterClass::MyInnerClass'
// using MyInnerClass = MyOuterClass::MyInnerClass<TArgs...>;

template<template<class> class T> // OK, but copying the template parameter list is bad, there should be some "auto" mechanism...
using MyInnerClass = MyOuterClass::MyInnerClass<T>;

int main(){}

Run code

我能否以更简单的方式为此类模板提供“速记”？

Answer 1

没有。没有这样的方法。对于using 用于使用（没有双关语意）使定义可见的语句实际上是同一关键字的不同版本。一个是using declaration，另一个是typedef 的别名。它们以不同的方式工作并提供不同（尽管有时看起来相似）的结果。

Answer 2

如果MyOuterClass::MyInnerClass<>只有有type模板参数，您可以使用以下可变别名模板：

template<typename... TArgs>
using MyInnerClass = MyOuterClass::MyInnerClass<TArgs...>;

但是，您仍然需要提供参数包 TArgs。

---

假设 C++17，如果 MyOuterClass::MyInnerClass<> only 有 non-type 模板参数，您可以使用以下可变参数别名模板：

template<auto... Val>
using MyInnerClass = MyOuterClass::MyInnerClass<Val...>;