主页 / coding / 问题 / 79589956
Accepted
Enlico
Asked: 2025-04-24 14:30:40 +0800 CST

为什么对依赖名称进行非限定名称查找时找不到在模板声明和实例化之间声明的 lambda？

  • 772

以下程序不正确，

inline constexpr auto makeFoo = [](auto const& x) {
    return getFoo(x);
};

inline constexpr auto getFoo = [](int const&) {
    return 1;
};

int bar() {
    return makeFoo(32);
}

并反转和的定义使其正确makeFoogetFoo。

我理解，基于对两阶段名称查找的“非正式”理解：

  • makeFoo是一个通用的 lambda，并且getFoo在其主体中对类型尚不清楚的参数进行调用，因此getFoo还不能查找名称；
  • 当看到调用时makeFoo(32)，lambdaoperator()会被实例化auto = int，因此会发生对非限定名称的第二阶段查找getFoo；
  • 然而，这只是 ADL，所以它找不到getFoo，因为那是 lambda 的名称，即对象的名称，而不是函数的名称。

有人可以指导我找到“反映”上述解释的标准草案部分吗？

我认为[basic.lookup.unqual]和[temp.dep.res]可能包含解释该案例所需的所有内容，但我无法将这些部分拼凑在一起。

c++

2 个回答

  1. Best Answer

    参数依赖查找的作用是：

    1. 确定一组关联实体（[basic.lookup.argdep]/3）
    2. 确定这些实体的一组关联命名空间（[basic.lookup.argdep]/4的第一句）
    3. 然后...下一句话是：

    参数相关查找找到所有函数和函数模板的声明[...]

    即使不关注我们所寻找的细节，依赖于参数的查找也只会找到函数和函数模板的声明。getFoo既不是函数也不是函数模板，它是一个对象 - 所以它永远不会被发现。

    因此，如果您想要getFoo被找到，就必须通过常规查找来找到它 - 它的声明必须在其调用之前。

    • 11

  2. getFoo(x)就是所谓的依赖调用。正如[temp.dep.general]注释1所述，以及[temp.res.general]解释的那样：

    如果名称是依赖的（如 [temp.dep] 中所指定），则会针对每个专业化（替换后）进行查找，因为查找依赖于模板参数。

    这基本上意味着由于名称查找被延迟，所以内部getFoo不会立即出现错误。makeFoo

    该auto const&参数构成makeFoo一个泛型 lambda 表达式，因此闭包类型的调用运算符是一个模板。效果就像你写了类似这样的东西：

    template <typename T>
constexpr auto makeFoo::operator()(T const& x) {
    return getFoo(x); // dependent call
}

    由于[temp.dep.candidate] p1 ，这是有问题的：

    模板 T 的声明 D 中出现的名称将从其在 T 的未指定声明中出现的位置进行查找，该声明要么是 D 本身，要么是 [...]。

    getFoo是出现在模板声明中的名称，因此它会在 中查找makeFoo，而不是在稍后getFoo可见的位置查找。这会导致实例化 后程序格式错误operator()<int>()。

    关于参数相关查找的注意事项

    getFoo正如您所指出的，ADL 有一些特殊规则，如果ADL 找到了该程序，这些规则将使该程序有效。这些特殊规则可以在[basic.lookup.argdep] p4中找到。

    如果查找的是依赖名称（[temp.dep]、[temp.dep.candidate]），则上述查找也会从查找的实例化上下文（[module.context]）中的每个点执行，另外还会忽略出现在另一个翻译单元中、附加到全局模块的任何声明，并且要么被丢弃（[module.global.frag]），要么具有内部链接。

    • 6

相关问题