如果函数采用引用参数，则代码覆盖率缺少分支

Question

我有一个带有引用参数的函数：

#include <iostream>

class A { static void TestA(const int &y) };

void A::TestA(const int &y) { std::cout << y; }

int main()
{
   A::TestA(2);
   return 0;
}

在我使用 google 单元测试的 (lcov) 代码覆盖率中，它说缺少一个带有 TestA() 函数的分支，并且符号列表添加了一个 stack_chk_fail 符号。如果我将函数参数更改为非引用，则覆盖率为 100%。

我正在使用 g++ 编译器。

我错过了什么吗？

谢谢

Answer 1

编译器将Test 内联到main（因为这是一个好的编译器所做的）。但是，它也必须为Test 创建代码，因为它具有外部链接。实际上，该函数的代码存在两次：一次内联到 main 中，一次内联到 Test 的代码中，链接器可以与其他编译单元链接。

如果你的编译器对内联函数（你好 MSVC？）的代码属性（在调试符号中）不好，那么你的分析器会给出你看到的结果：执行程序不会导致 Test 的覆盖，因为执行的二进制文件（即main）没有任何行归属于Test。

更改参数类型可能会影响内联，但更有可能会更改调试符号的生成方式。

要验证这一点，请使用调试器单步执行程序，并在Test 中设置断点。如果在运行main 时未命中该断点，则您的覆盖工具也不会看到该行的覆盖范围。或者，如果您确实需要，请手动查看调试符号以查看哪些行具有属性。在 Visual Studio 中，您还可以在调试时查看反汇编（它将显示相关的代码行）。

由于上述原因，如果您使用调试版本进行覆盖运行（例如不会发生内联），通常会获得更可靠的覆盖结果。