用于初始化派生类型的通用 switch 语句

Question

我正在创建一个 DNS 名称解析器。在解析返回的数据包时，我读取了 RR 类型，然后将其传递给 switch 以初始化类 Record 的派生类型。记录类型是一个大型枚举类型。我使用模板专业化将枚举映射到结构。

template < QueryType n >
struct Struct;

template <> struct Struct< DNS_Q_A > { typedef A Type; };
template <> struct Struct< DNS_Q_CNAME > { typedef CNAME Type; };

template < QueryType n > struct Struct { typedef UNKNOWN Type; };

目前我有 4 个 switch 语句，它们都做了非常相似的事情。即调用 operator new，placement new，用于复制和移动 c'tors。这是需要维护的大量代码。我希望只有 1 个 switch 语句，我可以在其中传递某种类型的对象，其中包含要执行的函数、返回类型和 n 个参数。

switch语句如下：

switch ( nType )
{
case DNS_Q_A:
    pInstance = new ( &Container ) Struct< DNS_Q_A >::Type( dynamic_cast< const Struct< DNS_Q_A >::Type& >( Other ) );
    break;
case DNS_Q_CNAME:
    pInstance = new ( &Container ) Struct< DNS_Q_CNAME >::Type( dynamic_cast< const Struct< DNS_Q_CNAME >::Type& >( Other ) );
    break;
}

如您所见，除了对结构类型的依赖之外，每种情况都是相同的。这对我来说是“模板”，但我不知道如何传入一个对象。

我仅限于编码 4 个开关还是有办法？请不要引用“Boost”，此代码必须独立于任何其他库。

解决方案：（感谢 Jan Hudec）

template< template < class > class Action >
typename Action< Struct< DNS_Q_A >::Type >::result_type
    CreateRecord ( 
        unsigned n,
        typename Action< Struct< DNS_Q_A >::Type >::first_argument_type arg1,
        typename Action< Struct< DNS_Q_A >::Type >::second_argument_type arg2 )
{
    typedef typename typename Action< Struct< DNS_Q_A >::Type >::result_type ReturnType;
    switch ( n )
    {
    case DNS_Q_A:       return static_cast< ReturnType >( Action< Struct< DNS_Q_A >::Type >()( arg1, arg2 ) );
    case DNS_Q_NS:      return static_cast< ReturnType >( Action< Struct< DNS_Q_NS >::Type >()( arg1, arg2 ) );
    /*...*/
    }
}

Action 结构定义为：

template < typename T >
struct Copy : std::binary_function< storage_type&, const Record&, Record* >
{
    Record* operator() ( storage_type& Storage, const Record& Obj )
    {
        return new ( &Storage ) T( dynamic_cast< const T& >( Obj ) );
    }
};
template < typename T >
struct Move : std::binary_function< storage_type&, Record&&, Record* >
{
    Record* operator() ( storage_type& Storage, const Record& Obj )
    {
        return new ( &Storage ) T( dynamic_cast< const T& >( std::move( Obj ) ) );
    }
};

并将 Switch 语句替换为：

pInstance = CreateRecord< Copy >( nType, Container, Other );

Answer 1

我必须承认我不太明白这里不能通过...愚蠢的虚函数来完成什么。

class Object {
public:
    virtual Object* clone() const = 0;
    virtual void clone(Container& c) const = 0;

    // ...
};


class A: public Object {
public:
    virtual A* clone() const override { return new A(*this); }
    virtual void clone(Container& c) const override { new (&c) A(*this); }

    // ...
};

那么……只要去掉开关：

pInstance = other.clone(container);

任务完成了。

Answer 2

您可以创建一个函数模板来执行函子模板。如果没有 C++11 可变参数，所有仿函数都需要相同数量的参数，因此您必须将它们打包在一个结构中，或者在它们不相关时传递 NULL。使用可变参数模板（我还没有使用它们，所以我不记得确切的语法并且不会在这里写它们）您可以轻松地在每种形式中使用不同的参数。

这个想法是这样的（在我的脑海中，所以可能有一些错别字）：

template <template <typename T> class F>
F<Struct<DNS_Q_A>::Type>::return_type RecordCall(RecordType nType, const F<Struct<DNS_Q_A>::Type>::argument_type &arg)
{
    switch(nType)
    {
        case DNS_Q_A:
            return F<Struct<DNSK_Q_A>::Type>()(arg);
        case DNS_Q_CNAME:
            return F<Struct<DNSK_Q_CNAME>::Type>()(arg);
        // ...
     }
}

现在你编写如下的单个函数：

template <typename T>
struct Clone : std::unary_function<BaseType *, const BaseType *>
{
    BaseType *operator()(const BaseType *source)
    {
        return new<T>(dynamic_cast<const BaseType &>(*source));
    }
}

并结合在一起：

target = RecordCall<Clone>(source->GetType(), source);

（并包装在另一个函数中，该函数将为多参数形式插入 getter 和/或打包参数，例如放置副本构造）

虽然复制的常用方法是使用虚拟克隆成员方法。但这不适用于建筑。

编辑：请注意，我将内部模板中的返回和参数类型定义为 typedef（使用标准的 unary_function 助手），但它们也可以作为单独的模板参数传递，尤其是在使用 RecordCall 时将被包装在另一个函数中。也许返回类型甚至不必是模板参数，因为对于问题中提到的所有情况，它都将是 Record *。