c++ - 未知错误可能是由命名冲突引起的？

Question

我编写了一个非常简单的c++代码，在其中定义了一个名为sqrt的函数，该函数仅调用
std::sqrt。出乎意料的是，我遇到了细分错误。如果我重命名该问题不存在
函数sqrt以及其他功能。但是，我看不到任何命名冲突，因为
我定义的sqrt函数不在命名空间std中，因此两者应该是完美的
分开。那么问题的真正原因是什么呢？谢谢!

#include<iostream>
#include<cmath>

double sqrt(double d);

double sqrt(double d) {
    return std::sqrt(d);
}

int main() {
    double x = 3.0;
    std::cout << "The square root of " << x << " is " << sqrt(x) << '\n';
    return 0;
}

Answer 1

<cmath>是一个有趣的 header 。可以(但不是必须)制作::sqrt和std::sqrt同义词。如果包含它，最好假设
两者都存在(或只包含<math.h>，其中
情况下，::sqrt就是您应该获得的全部)。大概是什么
您的情况是1)std::sqrt实际上是
同义词(通过using)成为::sqrt，2)链接器正在选择
首先设置您的::sqrt，所以最终将导致无休止的递归。
除了更改名称之外，唯一的解决方案是将您的
命名空间中的sqrt。

编辑:

只是要清楚:以上是C++ 11。 C++的早期版本不允许<cmath>将任何内容引入全局 namespace 。但是，所有实现都做到了，因此更改了标准以祝福实践。 (我想这是使编译器符合标准的一种方法。)

编辑:

有关图书馆如何“提货”的一些其他信息
符号，以回应评论中的问题。正式地，
根据C++标准，您可能没有两个定义
相同功能(相同的名称， namespace 和参数类型)
在一个程序中。如果两个定义分开
翻译单位，行为是不确定的。考虑到这一点，
有几个实际的考虑。

第一个可以认为是库的定义(或在
至少是传统定义)。图书馆是一套
模块-按照标准的翻译单位。
(通常但并非总是如此，这些模块由
对象文件。)但是，在库中链接不会带来
在其中的所有模块中；库中的一个模块是
仅在解决未解决的问题时将其合并到您的程序中
外部。因此，如果::sqrt已经定义(已解决)
在链接程序查看库之前，包含以下内容的模块
库中的::sqrt不会成为您程序的一部分。

实际上，近年来图书馆一词已被滥用，
甚至可以说其含义已经改变。
特别是Microsoft所说的“动态加载
库”(以及Unix中所谓的“共享对象”
之前)不是传统意义上的图书馆，
以上不适用于他们。但是，还有其他问题
取决于动态加载程序的工作方式。对于Unix，
如果多个共享对象具有相同的符号，则所有共享对象都将解析
到第一个加载的(默认情况下，可以控制
通过传递给dlopen的选项)。在Windows中，通过
默认情况下，如果可能，将在DLL中解析符号；
在您的情况下，如果std::sqrt是内联函数，或者是
指定为using ::sqrt，这将是调用的DLLstd::sqrt;如果在标题中，则为__declspec(dllexport)，
这将是包含以下实现的DLLstd::sqrt。

最后，当今几乎所有连接器都支持某种形式的弱点
引用。这通常用于模板实例化:
像std::vector<int>::vector( size_t, int )这样的东西
在使用它的每个翻译单元中实例化，但是
一个“弱”符号。然后，链接器选择一个(可能是
第一次遇到，但未指定)，并丢弃所有
其他的。虽然此技术主要用于模板
实例化，编译器可以使用弱函数定义任何函数
引用(如果函数是内联的，则将这样做)。在这个
如果定义不同(如您的情况)::sqrt)，那么我们可以真正地说该程序是非法的，
因为它违反了一个定义规则。但是结果是
未定义的行为，不需要诊断。是你
在以下方面不同地定义内联函数或函数模板
例如，两个不同的翻译单元
永远不会出错；如果编译器实际上没有内联
它们，链接器将选择一个，并在两种翻译中都使用它
单位。对于您的情况(::sqrt)，我怀疑这是否适用；
我希望这是一个真正的库函数，而不是
内联。 (如果内联，则定义将在
header <cmath>，您将收到重复的定义错误，
因为两个定义都在同一个翻译单元中。)