Question

以下代码来自cpp-netlib，但我在其他地方看到了类似的声明。

template <class Handler>
struct server : server_base<tags::http_server, Handler>::type 
{
    typedef typename server_base<tags::http_server, Handler>::type server_base;
    typedef server_options<tags::http_server, Handler> options;

    explicit server(options const &options) : server_base(options) {}
};

请有人解释在声明中使用::type的重要性。搜索单词＆＃39;键入＆＃39;在搜索框中发现了太多无关的结果，无法找到答案。

TIA

Answer 1

这是一种解决方法，因为C ++ 98（以及C ++ 03）不允许使用模板typedef。如果您查看server_base类，则会看到名为typedef的{{1}}，其类型取决于server_base的模板参数。仅供参考，在C ++ 11中，您可以使用别名声明。见C++ template typedef

Answer 2

它可能是模板化类/结构中的typedef，它定义了某种类型。要查看它实际上是什么，要么查看sever_base模板定义，要么使用Visual Studio将鼠标悬停在类型上 - 它应该将基础类型显示为工具提示

Answer 3

大多数情况下，它是一种简化访问/公开内部类型的工具。您可以通过::type访问该类型，而不是编写模板类的长声明。这种方式广泛用于C ++标准库，例如std::integral_constant：

#include <type_traits>

typedef std::integral_constant<int, 2> two_t;

two_t::type my_constant; // <--- simplified

c ++声明中的:: type是什么意思？

3 个答案: