Question

从全局命名空间获取模板名称时，可以使用template关键字：

template <class T> void function_template();

template <class T>
void h()
{
    ::template function_template<T>();
}

int main() { h<int>(); }

但是这段代码可以在没有它的情况下编译。人们可能想要这样做的情况是什么？

Answer 1

我可以想到一个地方，但我觉得这很常见：

#include <iostream>

// simpile function template
template<class T>
void function_template(T)
{
    std::cout << __PRETTY_FUNCTION__ << '\n';
}

// overload (NOT specialized)
void function_template(int value)
{
    std::cout << __PRETTY_FUNCTION__ << '\n';
}

int main()
{
    function_template(0);               // calls overload
    ::function_template(0);             // calls overload
    ::template function_template(0);    // calls template, deduces T
}

<强>输出

void function_template(int)
void function_template(int)
void function_template(T) [T = int]

我打算在一个匿名命名空间中填充其中的一部分来实际为::带来非平凡的含义，但这似乎已足够，所以我把它留了出来。

是否有理由使用“:: template”？

1 个答案: