0

我有以下头文件：

电源.hpp：

#pragma once

#include <type_traits>

template <typename T, typename R = decltype(std::declval<T>() * std::declval<T>())>
constexpr inline R square(const T& x_) noexcept;

电源.inl：

#pragma once

#include "power.hpp"

template <typename T, typename R>
constexpr inline R square(const T& x_) noexcept
{
    return (x_ * x_);
}

power_unit_test.cpp：

#include <power.inl>

int main()
{
    static_assert(square(2) == 4);
    assert(square(2) == 4);
    square(2);

    return (0);
}

在使用标志编译-fprofile-instr-generate并-fcoverage-mapping使用 clang++ 之后。运行单元测试二进制文件，我得到一个报告，告诉我 main 中的三行中的每一行都被调用了，但函数内容只使用了一次。这种使用来自对 的独立调用square(2)，断言似乎无法正确生成覆盖率报告。

如果我删除独立square(2)的，那么覆盖率不会达到 100%，因为断言由于某种原因错过了产生覆盖率。

覆盖率报告如下：

电源.inl：

   22|       |        template <typename T, typename R>
   23|       |        constexpr inline R square(const T& x_) noexcept
   24|      0|        {
   25|      0|            return (x_ * x_);
   26|      0|        }

power_unit_test.cpp

   29|       |int main()
   30|      1|{
   31|      1|    static_assert(arc::math::sq(2) == 4);
   32|      1|    assert(arc::math::sq(2) == 4);
   33|      1|    // arc::math::sq(2);
   34|      1|
   35|      1|    return (0);
   36|      1|}

请你能帮我理解为什么没有像我在这里期望的那样报道报道吗？这是 llvm-cov 中的错误还是我不理解覆盖意图？

在 MacOS 上使用自制的 clang 7.0.1 进行编译。使用 CMake 3.13.2 构建系统。

4

1 回答 1

1

您遇到的问题是您的编译器正在内联square()两个断言方法的函数。由于代码是内联的，它永远不会调用您的外部代码。

您的第一个想法可能是删除inline标识符，但这不起作用。这是因为您的编译器很可能足够聪明，可以识别出该square()函数可以被内联并继续执行并且无论如何都会执行此操作。最终结果是外部代码没有被调用。

所以你需要一种方法来绕过square()函数的内联。您可以使用函数指针来执行此操作。main请参阅对您的函数的以下修改：

int main()
{
    int (*f_ptr)(const int&);       // Ptr to func that takes 'const int&' and returns 'int' 
    f_ptr = &square;

    static_assert(square(2) == 4);  // Cant use 'f_ptr' here
    assert(f_ptr(2) == 4);
    f_ptr(2);

    return (0);
}

在上面的代码中，我们将显式调用替换为square(const int&)指向函数的指针f_ptr。结果，编译器不会自动内联断言中的函数，代码将被成功调用两次。结果：

电源.cpp：

    4|       |template <typename T, typename R>
    5|       |constexpr inline R square(const T& x_) noexcept
    6|      2|{
    7|      2|    return (x_ * x_);
    8|      2|}

power_unit_test.cpp：

    5|       |int main()
    6|      1|{
    7|      1|    int (*f_ptr)(const int&);
    8|      1|    f_ptr = &square;
    9|      1|
   10|      1|    static_assert(square(2) == 4);
   11|      1|    assert(f_ptr(2) == 4);
   12|      1|    f_ptr(2);
   13|      1|
   14|      1|    return (0);
   15|      1|}

速记。由于static_assert本质上是一个编译时断言，我们不能square()用我们的函数指针替换调用，因为函数指针不是常量表达式。square(2)但别担心，如果你尝试用这里的函数指针替换，你的编译器足够聪明，可以抱怨f_ptr(2)。

于 2019-02-05T10:21:38.797 回答