in-class 定义的友元函数的调试标志中的命名空间

Question

我正在处理一个 class，它在 class 中定义了一个没有外部声明的友元函数

namespace our_namespace {
template <typename T>
struct our_container {

  friend our_container set_union(our_container const &, our_container const &) {
    // meaningless for the example here, just a valid definition
    // no valid semantics
    return our_container{};
  }
};
}  // namespace our_namespace

正如所讨论的（例如 here or here），函数 set_union 不在 our_namespace 命名空间中，但将通过参数相关查找找到：

auto foo(std::vector<our_namespace::our_container<float>> in) {
  // works:
  return set_union(in[0], in[1]);
}

不过我注意到 in the debug flags set_union 似乎在 our_namespace 命名空间中

        mov     rdi, qword ptr [rbp - 40] # 8-byte Reload
        mov     rsi, rax
        call    our_namespace::set_union(our_namespace::our_container<float> const&, our_namespace::our_container<float> const&)
        add     rsp, 48
        pop     rbp
        ret
our_namespace::set_union(our_namespace::our_container<float> const&, our_namespace::our_container<float> const&): # @our_namespace::set_union(our_namespace::our_container<float> const&, our_namespace::our_container<float> const&)
        push    rbp
        mov     rbp, rsp
        mov     qword ptr [rbp - 16], rdi
        mov     qword ptr [rbp - 24], rsi
        pop     rbp
        ret

虽然我不能称它为our_namespace::set_union

auto foo(std::vector<our_namespace::our_container<float>> in) {
  // fails:
  return our_namespace::set_union(in[0], in[1]);
}

关于如何理解调试信息的任何提示？

编辑：set_union 函数体只是一个有效定义的例子。

Answer 1

C++ 标准仅定义了与代码编译和生成程序的行为有关的编译器行为。它没有定义代码生成的所有方面，特别是它没有定义调试符号。

因此您的编译器正确地（根据标准）不允许通过它不在的命名空间调用该函数。但是由于该函数确实存在并且您应该能够调试它，所以它需要将调试符号放在某处。封闭命名空间似乎是一个合理的选择。

in-class 定义的友元函数的调试标志中的命名空间

namespace in debug flags of in-class defined friend functions

c++

friend-function

argument-dependent-lookup