具有typedef多个参数的c ++模板？

Question

我有一个带有5个模板参数的模板类，它看起来与此相似。

SomeClass.h

template < typename A, typename B, typename C, typename D >
class SomeClass
{
private:
A a_obj;
B b_obj;
C c_obj;
D d_obj;
public:
void someoperationA();
void someoperationB();
void someoperationC();
};

SomeClass.cpp

template < typename A, typename B, typename C, typename D >
SomeClass<A, B, C, D>::someoperationA()
{
 A::someStaticMethods();
}

template < typename A, typename B, typename C, typename D >
SomeClass<A, B, C, D>::someoperationB()
{}

template < typename A, typename B, typename C, typename D >
SomeClass<A, B, C, D>::someoperationC()
{}

考虑一下我的模板参数应该被赋予一些好名字的情况，例如

SomeClass.cpp

template < 
typename ABIGCLASSNAME, 
typename BBIGCLASSNAME, 
typename CBIGCLASSNAME, 
typename DBIGCLASSNAME 
>
SomeClass<ABIGCLASSNAME, 
BBIGCLASSNAME, 
CBIGCLASSNAME, 
DBIGCLASSNAME>::someoperationA()
{
ABIGCLASSNAME::someStaticMethods();
}

它肯定开始看起来很丑:(

因此，有可能以任何方式typedef模板参数，以便其可读...

typedef template < typename ABIGCLASSNAME, typename BBIGCLASSNAME, typename CBIGCLASSNAME, typename DBIGCLASSNAME > TEMP_WITH_PARAMS

和类类似的东西， 除了使用#define

Answer 1

不，没有 。

请注意，源（ .cpp ）文件中不能包含模板化定义。 请参阅为什么只能在头文件中实现模板？

有人建议定义一个类命名空间，其中所有定义都被视为该类的成员，这可以解决您的问题，但是并没有太大的吸引力。

因此，要么编写所有模板参数（但在标头中），要么在类中定义它们。 我个人更喜欢在类内部定义方法，因为无论如何我都必须在标头中定义方法，所以在类外部定义它们并没有麻烦编写两次代码的好处。

您可以做的另一种技巧是在模板中使用非常短的模板参数名称并使用全名别名。 例如：

template <class F> struct S {
   using Function = F;
};

Answer 2

考虑创建一个包含所有必需参数的包装器struct ，并在其上对SomeClass进行模板化：

template < typename A, typename B, typename C, typename D >
struct Settings
{
    using AType = A;
    using BType = B;
    using CType = C;
    using DType = D;
};

template < typename TSettings >
class SomeClass { /* ... */ } 

template < typename TSettings >
SomeClass<TSettings>::someoperationB() { /* ... */ }

好处：

• 样板少得多。

• 如果决定添加新模板参数或更改现有模板参数，则只需更改Settings 。

保留原始接口对于类型trait也很简单：

template < typename A, typename B, typename C, typename D >
using SomeClass = SomeClassImpl<Settings<A, B, C, D>>;

考虑使用可变参数类型特征以避免重复A, B, C, D ：

template < typename... Ts >
using SomeClass = SomeClassImpl<Settings<Ts...>>;

Answer 3

描述性模板参数的名称很好。 但是，一旦您最初指定了它们，就不必拖动它们了。 有两件事可以帮助您：

1. 用于在类中using简短的别名。

2. 对于类外的定义，您不必为模板参数使用相同的名称。

    #include <iostream> template <typename SomeLongAndUglyName> class ImPretty { public: using SimplyUgly = SomeLongAndUglyName; void foo(); }; template <typename Ugly> void ImPretty<Ugly>::foo() { std::cout << "pretty" << std::endl; }