为生成的代码扩展 C++ 模板参数类型名称

Question

是否有可能有一个 C++ 模板，其中模板参数可以作为另一个现有（更长）类型名的前缀或后缀。我正在使用从 IDL（接口定义）生成的代码，因此有许多具有相关名称的生成类。例如，如果 IDL 定义了“Foo”，我将生成以下类列表。 Foo, FooReader, FooWriter, FooSerializer, ...

我正在尝试为每个生成的类型创建一个包含成员变量的类...理想情况下，我可以使用Wrapper<Foo> obj; 声明对象

我可以这样做：

#define EXPANDTEMPLATE(type) Wrapper<type, type##Reader, type##Writer, ... >

template <typename T, typename TReader, typename TWriter, ...> class Wrapper {
   T       var1;
   TReader var2;
   TWriter var3;
   ...
};

int main(){
   EXPANDTEMPLATE(Foo) obj;
   //do stuff
}

在我的情况下，默认构造函数不会是一个问题，所以这个工作，但我更喜欢不会导致代码维护者的解决方案跟踪我，打断我的腿。

有没有比创建具有 15 个参数的模板更好/更简洁的解决方案？

Answer 1

我唯一想到的就是使用template specialization。

代码看起来像

#include <iostream>

using namespace std;

template <typename T>
class Reader;
template <typename T>
class Writer;

template <typename T>
class Wrapper {
    T data;
    Reader<T> reader;
    Writer<T> writer;
};

class Data {};
template<>
class Reader<Data> {};
template<>
class Writer<Data> {};

int main()
{
    Wrapper<Data> wrapper;
    static_cast<void>(wrapper);
} 

Answer 2

根据 OpenDDS 文档，here：

在文件 TypeTraits.h 中，我们定义了一个模板结构 TypeTraits，以引用与给定数据样本结构相关的各种 DDS 实体。

// TypeTraits.h
模板 
结构类型特征
{
};
 
#define DEFINE_TYPETRAITS(TYPE) \
模板  \
结构类型特征 \
{ \
    typedef TYPE##TypeSupport TypeSupport; \
    typedef TYPE##TypeSupportImpl TypeSupportImpl; \
    typedef TYPE##DataWriter 编写器； \
    typedef TYPE##DataReader 阅读器； \
};

回到 DDSBase，我们现在可以用一个模板参数定义 CreateWriter() 和 CreateReader() 方法......

在这种情况下，您可以使用相同的方法。鉴于上述宏，您可以应用部分模板特化；在您的情况下，通过使用 DEFINE_TYPETRAITS(Foo) 调用此宏。您可能希望自己的宏扩展到您的 15 个变体而不是这些特定的变体，但鉴于这是在 OpenDDS 文档中，它应该是使用它的人更熟悉的方法（理论上）。您的扩展（或默认，如果可行）类型特征类也可能有其他用途。

一旦你有了这个专业（DEFINE_TYPETRAITS你感兴趣的类型），你就可以制作一个像这样的简单模板：

template<typename T>
struct Wrapper
{
    T var1;
    typename TypeTraits<T>::Reader var2;
    typename TypeTraits<T>::Writer var3;
    typename TypeTraits<T>::TypeSupport var4;
    typename TypeTraits<T>::TypeSupportImpl var5;
};

...然后做：

DEFINE_TYPETRAITS(Foo)
int main()
{
    Wrapper<Foo> obj;
}