:: c++中模板函数调用前面的范围解析运算符

Posted 2023-02-23

【中文标题】:: c++中模板函数调用前面的范围解析运算符

【英文标题】：:: scope resolution operator in front of a template function call in c++

【发布时间】：2012-02-14 19:21:50

【问题描述】：

我被模板和范围解析运算符卡住了。我在一个文件中找到了这些行，我无法弄清楚为什么我们在模板函数调用前面使用 ::，据我所知，当引用全局变量时，我们只能在变量前面使用 :: .任何想法都会有所帮助

#define CREATE_AND_DECODE_TYPE(Type, buffer, pType) \
    ::CreateAndDecodeType<Type>(buffer, pType, throwVarBindExceptions, static_cast<Type *>(NULL))

【问题讨论】：

不，范围解析运算符不限于变量。您可以使用它来调用函数。

【参考方案1】：

作用域解析操作符 ::（开头）强制编译器从全局作用域中查找标识符，没有它，标识符是相对于当前作用域找到的。

namespace X

    namespace std
    
        template<typename T>
        class vector ;
    

    std::vector<int>     x;       // This is X::std::vector
    ::std::vector<int>   y;       // This is the std::vector you normally expect (from the STL)

【讨论】：

@RaHuL：没有。如果您使用 std::vector（不带前缀 ::），则搜索是 相对 到当前范围的。这意味着编译器将首先检查它找到的X::std::vector，因为它找到了这个版本，所以它不会在全局范围内检查 for one。 注意 通常，您在当前命名空间内没有命名空间 std，因此搜索将从 X 开始，然后退回到全局范围，并在全局命名空间中找到 std，但在上面的情况你看到X里面有一个std。

@RaHuL：如果您使用前缀::，那么编译器搜索是绝对搜索，它只从全局命名空间中查找。

在实践中，您多久会遇到一个名为 std 的嵌套命名空间？

@Ayxan 它更安全（明确表示没有什么不安全的）。有多安全，我不知道（或数字）。我想这将取决于您使用的其他库的质量。如果您正在编写自己的应用程序，我怀疑它会产生很大的不同。如果您正在编写其他人使用（或使用不正确）的库，那么它可能会保存它们。

附言。我在 30 年里（很多年前）只见过一次类似的事情。这样做是为了覆盖标准库中的某些内容，而无需进入代码并进行剪切/粘贴以更改类型的名称（因为这很容易出错）。