c++ - 具有默认 std::function 参数的模板函数导致符号 [...] 已经定义

Question

我刚刚遇到了一些奇怪的事情。我想知道这是否是一个错误，如果不是，我希望有人能解释这个问题。

我的问题是，当我创建一个将 std::function 作为默认参数的模板化函数时，我只能创建该函数的一个模板实例化，否则会出现错误。

考虑以下代码:

#include <functional>

template<bool B>
void wut(std::function<void()> f = []() {})
{
    f();
}

int main() {
    wut<false>(); // works
    wut<false>(); // still works
    wut<true>();  // error
    return 0;
}

https://ideone.com/VlVcUv

编译此代码时出现以下错误:

{standard input}: Assembler messages:
{standard input}:28: Error: symbol `_ZNSt14_Function_base13_Base_managerIUlvE_E10_M_managerERSt9_Any_dataRKS3_St18_Manager_operation' is already defined
{standard input}:127: Error: symbol `_ZNSt17_Function_handlerIFbvEUlvE_E9_M_invokeERKSt9_Any_data' is already defined

Answer 1

这是一个 gcc 错误(在版本 7.3 之后看起来已修复)我们可以通过查看部分 [expr.prim.lambda.capture]p9 来了解这一点:

A lambda-expression appearing in a default argument shall not implicitly or explicitly capture any entity. [Example:

void f2() {
int i = 1;
void g1(int = ([i]{ return i; })()); // ill-formed
void g2(int = ([i]{ return 0; })()); // ill-formed
void g3(int = ([=]{ return i; })()); // ill-formed
void g4(int = ([=]{ return 0; })()); // OK
void g5(int = ([]{ return sizeof i; })()); // OK
}

—end example]

作为 IDEOne 的替代品，您可以使用与 gcc 和 clang 版本保持同步的 Wandbox，请参阅 your example live there .