0

我想将ICMP 标头定义为 pod 类型：

struct ICMPHeader
{
    uint8_t   Type;         // ICMP type
    uint8_t   Code;         // Subtype, value is dependent on ICMP type.
    uint16_t  Checksum;     // Error checking data. See RFC 1071
    uint32_t  RestOfHeader; // Varies based on ICMP type and code.
};

对于该ICMPType领域，我可以使用强类型枚举来使它更好一点：

enum class ICMPType : uint8_t
{
    EchoReply              = 0,
    Reserved1              = 1,
    Reserved2              = 2,
    DestinationUnreachable = 3,
    SourceQuench           = 4

    // etc...
};

struct ICMPHeader
{
    ICMPType  Type;         // ICMP type
    uint8_t   Code;         // Subtype, value is dependent on ICMP type.
    uint16_t  Checksum;     // Error checking data. See RFC 1071
    uint32_t  RestOfHeader; // Varies based on ICMP type and code.
};

现在，我自然也想将Code字段指定为枚举。如果我可以使用模板专业化语法会很好，但快速测试表明它不起作用：

// Compiler error
template<ICMPType>
enum class ICMPCode;    

template<>
enum class ICMPCode<ICMPType::DestinationUnreachable>
{
    DestinationNetworkUnreachable  = 0,
    DestinationHostUnreachable     = 1,
    DestinationProtocolUnreachable = 2
};

一种选择是将它们包装在结构中：

// Meaning of ICMP code is dependent on ICMP type.
template<ICMPType>
struct ICMPCode;

// Subcodes for DestinationUnreachable
template<> struct ICMPCode<ICMPType::DestinationUnreachable>
{
    enum class Code : uint8_t
    {
        DestinationNetworkUnreachable  = 0,
        DestinationHostUnreachable     = 1,
        DestinationProtocolUnreachable = 2

        // etc...
    };
};

// Access: ICMPCode<ICMPType::DestinationUnreachable>::Code::DestinationHostUnreachable

但这样做让我觉得我只是在胡闹，让事情变得太复杂..

我想这是一个更普遍问题的具体示例：如何设置类型和子类型系统？有什么建议么？

附言：

示例代码：

#include <iostream>

// Trying to model ICMP types and codes with strongly typed enums
// See also http://en.wikipedia.org/wiki/Internet_Control_Message_Protocol#Header


enum class ICMPType : uint8_t
{
    EchoReply              = 0,
    Reserved1              = 1,
    Reserved2              = 2,
    DestinationUnreachable = 3,
    SourceQuench           = 4

    // etc...
};


// Meaning of ICMP code is dependent on ICMP type.
template<ICMPType>
struct ICMPCode;


// Subcodes for DestinationUnreachable
template<> struct ICMPCode<ICMPType::DestinationUnreachable>
{
    enum class Code : uint8_t
    {
        DestinationNetworkUnreachable  = 0,
        DestinationHostUnreachable     = 1,
        DestinationProtocolUnreachable = 2

        // etc...
    };
};


ICMPCode<ICMPType::DestinationUnreachable>::Code GetReasonWhyDestinationIsUnreachable()
{
    return ICMPCode<ICMPType::DestinationUnreachable>::Code::DestinationHostUnreachable;
}


int main()
{
    std::cout << static_cast<int>(GetReasonWhyDestinationIsUnreachable()) << std::endl;
}
4

1 回答 1

1

我认为您不能在编译时静态地执行此操作，因为您正在更改ICMPType运行时。

我会建议：

  1. code为您要表示的每个范围创建一个枚举。
  2. 为每种类型创建一个容器（即，每种类型都有多个ICMPHeader类型，并在那里丢失类型变量）。
  3. 创建一个工厂，它采用您的原始 ICMP 标头并生成具有适当ICMPType枚举的专用类型之一。

这应该是一种非常灵活的方法，但简单地根据类型转换代码的值可能就足够了，而且更容易处理。

在您的示例中，您只是将其转换回一个 int ，尽管它会剥夺您刚刚开始实现的所有目标..？

编辑 - 如果您的所有容器都继承自一个公共基类，您可以提供一个通用的 GetDescription() 方法，然后子类可以填充该方法。像这样抽象出细节可以得到一个漂亮的干净设计......

于 2012-05-24T13:30:33.667 回答