有没有一种方法可以对文本表达式和函数调用进行静态断言?

这是不可能的,通过检查语言内的表达式,因为C++不断地扩展在常量表达式中允许的范围。你可以检查一下 expected 可以用作常量表达式,例如,使用它初始化 constinit test 功能是 constexpr ,很可能是这样。

static_assert(std::string_view{#expected}.find('(') == std::string_view::npos, "expected must be a literal");

Example .

我可能会建议另一种方法(不带宏)来强制第二个参数是函数/可调用的(而不是函数的结果):

template <typename T, typename F>
void AssertRun(T expected, F f, const std::string& descr)
{
    static int CaseNum = 0;

    std::chrono::steady_clock clock;
    const auto start = clock.now();
    auto actual = f();
    const auto elapsedTime = clock.now() - start;
    const auto timeInUS =
        std::chrono::duration_cast<std::chrono::microseconds>(elapsedTime).count();
    std::cout << boolalpha << "CASE " << ++CaseNum << ": "
              << "EXPECTED=" << expected
              << "; ACTUAL=" << actual
              << "; elapsedTime=" << timeInUS << "us"
              <<  " --- " << desc << std::endl;
    return actual;
}

template <typename T, typename F>
void AssertEqual(T expected, F f, const std::string& descr)
{
    auto actual = AssertRun(expected, f, descr);
    assert(expected == actual);
}

然后

AssertEqual(true, []{ return test1(42); }, "cache-friendly");

AssertEqual(test1(42), []{ return true; }, "cache-friendly");