等效于 int 的 typedef

Question

如果我有一个模板容器，我可以使用typedef 让我在编译时查找类型：

template <typename T>
struct MyList {
    typedef T Type;
    T get_front() const;
    // ...
};

MyList<char> char_list;
MyList<char>::Type front = char_list.get_front();

在这种情况下，您可以改为声明 char front = char_list.get_front();，但有时这可能很有用（例如，包含其他模板类的模板类）。

在我的例子中，模板没有指定类型名，而是指定了一个 int（实际上是 std::size_t）：

template <std::size_t N>
struct MyClass {
    // ...
};

是否有一个 typedef 等效项，我可以在类中声明它允许我在类之外获取值 N？这是使用静态常量的合适位置吗？

Answer 1

现代编译器的常用方法是：

static const std::size_t value = N;

请注意，如果有人试图获取其地址，这将引发 undefined-behavior。这通常意味着value 的地址可能会导致不同翻译单元的位置不同，但它的undefined-behavior仍然如此。

另一种通常在较旧的编译器上使用且不会打开 undefined-behavior 大门的方法是通过enums 进行仿真：

enum { value = N };

Boost.Config 提供了BOOST_STATIC_CONSTANT 宏，该宏将根据编译器的一致性解析为上述方法中的一种或另一种。它的用法是：

BOOST_STATIC_CONSTANT( std::size_t, value = N );

它的参考可以在http://www.boost.org/doc/libs/1_51_0/libs/config/doc/html/boost_config/boost_macro_reference.html#boost_config.boost_macro_reference.boost_helper_macros找到