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