我正在处理一个在类中定义友元函数的类,而无需外部声明
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
如前所述(例如,此处或此处(,函数set_union
不在our_namespace
命名空间中,但可以通过参数相关查找找到:
auto foo(std::vector<our_namespace::our_container<float>> in) {
// works:
return set_union(in[0], in[1]);
}
但是我注意到在调试标志中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
函数体只是一个稻草狗示例,这里有一个有效的定义。
C++ 标准仅定义与代码编译和结果程序的行为相关的编译器行为。它没有定义代码生成的所有方面,特别是,它没有定义调试符号。
因此,您的编译器正确(根据标准(不允许通过它不在的命名空间调用函数。但是由于该函数确实存在并且您应该能够调试它,因此它需要将调试符号放在某个地方。封闭命名空间似乎是一个合理的选择。