Question

考虑以下MCVE：

#include <iostream>

int main() 
{
    void foo(int);
    std::cout << foo << std::endl;

    return 0;
}

这里我故意尝试以错误的方式打印指向函数的指针，以便选择接受bool的{{3}}。

 basic_ostream& operator<<( bool value );

让我感到困惑的是，operator<< overload和gcc 7.2都会产生警告，但编译并链接该程序。

同时， Visual Studio 15.5.6 不会链接此示例。

就我个人而言，我预计，尽管用作foo的编译器似乎 ODR使用，但此代码根本不会链接。

有人可以解释为什么 gcc 和 clang 能够链接该程序吗？

Answer 1

这是ODR违规行为。但根据[basic.def.odr]/10，强调我的：

每个程序都应包含每个非内联的一个定义在a之外的程序中使用的函数或变量废弃的陈述; 无需诊断。定义可以在程序中明确出现，可以在标准中找到或者用户定义的库，或（在适当的时候）它是隐式定义的（参见[class.ctor]，[class.dtor]和[class.copy]）。内联函数或变量应在其所在的每个翻译单元中定义在废弃的陈述之外使用。

我们必须记住，编译器可以自由地假设您不会编写表现出不确定行为的代码，或者以他们不需要诊断的方式编写错误的代码。由于每个函数的地址都必须为空，因此只能使用bool调用true重载，因为转换必须在中生成的内容才有效程序

我们可以看到GCC 7.3这样做。即使在-O0，即使在let searchController = UISearchController(searchResultsController: nil) override func viewDidLoad() { super.viewDidLoad() searchController.searchResultsUpdater = self searchController.obscuresBackgroundDuringPresentation = false searchController.hidesNavigationBarDuringPresentation = false definesPresentationContext = true navigationItem.searchController = searchController navigationItem.hidesSearchBarWhenScrolling = false }，它也会传递1作为转换的结果。

打印功能地址...声明？

1 个答案: