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

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的重要性。 在搜索框中使用“类型”一词进行搜索会产生太多无关的结果，无法找到答案。

TIA

Answer 1

这是一个解决方法，因为C ++ 98（以及C ++ 03）不允许模板typedef。 如果查看server_base类，您将看到一个名为type的typedef ，其类型取决于server_base的模板参数。 仅供参考，在C ++ 11中，您可以使用别名声明。 请参阅C ++模板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