返回参数的Typename查找

Typename lookup of return parameter

本文关键字：查找 Typename 参数 返回      更新时间：2023-10-16

最近有个学生问我关于编译问题。答案很简单，但现在我正在努力寻找原因。一个简单的例子:

#include <iostream>
#include <vector>
struct MyStruct
{
    typedef std::vector<int> MyIntVector;
    MyIntVector CopyVector(MyIntVector const& vector);
};

MyStruct::MyIntVector MyStruct::CopyVector(MyIntVector const& vector)
^^^^^^^^
{
    MyIntVector vec;
    return vec;
}
int main(int /*argc*/, char** /*argv*/)
{
    MyStruct st;
}

要成为有效的c++代码，返回参数必须是完全限定的。这么多的答案和让编译器/学生高兴。

但是，为什么返回值要限定为类，而函数的参数不限定呢?

我总是这样做，我知道这与ADL查找有关，但现在我被问到我正在寻找一个更好的答案。
谁能给我一个参考规范或提示，我可以找到一些更多的信息?

语法的结构使得返回类型独立于声明的内容，并且可以用相同的类型声明(但不定义)多个内容。这是有效的c++:

int f(int), g(int);

因此，声明对象的精确范围会影响对类型的查找，这将是有问题的。在

id1 ns1::f(int), ns2::g(int);

在哪里可以查到id1 ?

可以在函数定义中添加特殊的规则(只能有一个函数定义——这样就不会有歧义——但可以有几个对象)，但我不确定是否已经检查了这种可能性，我认为增加的复杂性不会被优势所补偿。

要继续解析，编译器需要弄清楚什么是类型名，什么不是。

在命名空间范围内唯一可以发生的事情是一个声明，大多数c++声明都以typename开头，但在C中不是这样。在C程序的顶层范围内放置一个不确定的未定义标识符，将其声明为具有static可见性的int。

不管编译程序的可能性如何，如果解析器可以从头到尾进行，而不需要在类的上下文中排队等待稍后的标识，那么它也会使解析器简单得多。

c++ 11解决了尾随返回类型语法的问题:

auto MyStruct::CopyVector(MyIntVector const& vector) -> MyIntVector {
相关文章：