为什么 g++ 10.1 会抱怨头文件中的命名 lambda 而其他人则不会？

Question

我有一个带有命名 lambda 的头文件，用于测量某些函数的执行时间（该 lambda 部分是这个问题的结果How to Write a Lambda Wrapping a Function with Optional Return Value）。它驻留在我从几个翻译单元中包含的头文件中。这在 g++ 8 和 g++ 9 中运行良好。现在当我切换到 g++ 10.1 时，链接时出现错误。

请检查以下简化示例。

以下是 Wandbox 中的示例：https ://wandbox.org/permlink/Sizb6txrkW5dkJwT 。

文件“Lambda.h”：

#pragma once

#include <string>

auto measure = [](bool enabled, const std::string& taskName, auto&& function,
        auto&&... parameters) -> decltype(auto)
{
    return std::forward<decltype(function)>(function)(
            std::forward<decltype(parameters)>(parameters)...);
};

文件“Test1.cpp”：

#include "Lambda.h"

文件“Test2.cpp”：

#include "Lambda.h"

然后我像这样构建：

g++ -c Test1.cpp
g++ -c Test2.cpp
g++ -shared -o Test.dll Test1.o Test2.o

一切正常，直到 g++ 9.2，但使用 g++ 10.1 我收到此错误消息：

ld.exe: Test2.o:Test2.cpp:(.bss+0x0): multiple definition of `measure'; Test1.o:Test1.cpp:(.bss+0x0): first defined here
collect2.exe: error: ld returned 1 exit status

为什么？如何使用 g++ 10.1 编译我的项目？我使用命名的 lambda 就像使用模板函数一样，因此我需要将命名的 lambda 写入头文件，以便能够在项目的任何地方使用它，而且我无法以某种方式将声明与定义分开，对吗？

我期待着答案！

Answer 1

链接时出现错误。

为什么？

因为您多次定义变量违反了单一定义规则。

而其他人没有？

为什么？

¯\_(?)_/¯ 不需要语言实现来诊断 ODR 违规。

我使用命名的 lambda 就像使用模板函数一样，因此我需要将命名的 lambda 写入头文件，以便能够在项目的任何地方使用它，而且我无法以某种方式将声明与定义分开，对吗？

对。

如何使用 g++ 10.1 编译我的项目？

简单的解决方案：声明变量inline（C++17 特性）。

很简单，但每个 TU 都有自己的实例，这是一个奇怪的细节：声明变量static。

第三种解决方案：lambda 什么也没有捕获，所以你不妨定义一个模板函数来代替。

第四种解决方案：不要将 lambda 存储为全局变量，而是编写一个返回 lambda 实例的内联函数。