Question

我遇到了以下代码，它定义了一个类中的函数模板：

#include <cstdint>

class foo {
public:
    enum class magic_type : std::uint32_t {
        START = 0,
        BLUE = 0xFF000001,
        RED,
    };

    struct header_t {
        uint32_t version;
        magic_type magic;
    };

    template <typename T>
    static bool is_of_type(header_t *h)
    {
        return (h->magic == T::magic_type);
    }

    foo(uint32_t ver, foo::magic_type mag)
    {
        header.version = ver;
        header.magic = mag;
    }

    header_t header;
};

我发现'is_of_type`的实现令人困惑。代码编译，因此在语法上必须是正确的。但是，这个方法不是从程序的任何其他部分调用的，所以我不确定该函数的意图是什么（缺少文档）。我想这个函数可能有两种解释：

根据对象的魔术类型和作为函数模板参数传递的特定枚举类型返回true / false。

E.g。该方法的调用将是：
```
foo bar(1.2, foo::magic_type::BLUE);
bool temp = bar.is_of_type<foo::magic_type::BLUE>(&(bar.header));
```
但是，在上面的例子中，我并没有真正传递一个类型（如int或char等）。对？代码无法编译。
如果魔术类型是有效的枚举，则返回true / false。

在这种情况下，我假设函数不需要模板化，可以重写为：
```
static bool is_of_type(header_t *h)
{
    return (h->magic == foo::magic_type);
}
```
E.g。调用：
```
foo bar(1.2, foo::magic_type::BLUE);
bool temp = bar.is_of_type(&(bar.header));
```
再次，编译错误。我尝试使用“typename”，但我的尝试是徒劳的。

在上述两种情况和调用示例中，有人可以帮助我正确实施is_of_type。

Answer 1

调用将使用显式指定的类型，该类型具有名为magic_type的嵌套静态成员。

例如，可以按如下方式调用它：

struct test {
    static foo::magic_type const magic_type;
};

foo::magic_type const test::magic_type = 42;

foo bar{1, foo::magic_type::BLUE};
bar.is_of_type<test>(bar.header);

magic_type使用两次，一次用于enum class，一次用于静态变量，这一事实非常令人困惑。

功能模板参数

1 个答案: