c++ - 指向 lambda 函数的函数指针相等

Question

我想知道 C++ 标准是否保证以下行为(请参阅断言)？ 它似乎在最新版本的 clang 和 gcc 下工作，但我仍然不确定它的标准定义行为或实现是否定义了一个。

#include <cassert>
#include <functional>

struct test
{
    using fn_ptr_t = int(*)(int);

    fn_ptr_t fn_ = nullptr;

    template<auto Fun>
    void assign() noexcept
    {
        fn_ = +[](int i)
        {
            return std::invoke(Fun, i);
        };
    }
};

int fun(int i) { return i; }
int gun(int i) { return i; }

int main()
{
    test t0, t1, t2;

    t0.assign<&fun>();
    t1.assign<&fun>();
    t2.assign<&gun>();

    assert(t0.fn_ == t1.fn_);
    assert(t0.fn_ != t2.fn_);

    return 0;
}

我发现标准中关于函数指针的描述如下:

C++03 5.10/1 [expr.eq]: ... Pointers to objects or functions of the same type (after pointer conversions) can be compared for equality. Two pointers of the same type compare equal if and only if they are both null, both point to the same function, or both represent the same address (3.9.2).

但是，我不确定当函数指针指向 lambda 函数时是什么情况，因为据说 lambda 每次都是唯一对象。

Answer 1

你说得对，lambda 是唯一的，这正是第二个断言通过的原因。但它们在每次评估时并不总是不同:

template <typename>
auto get() { return []{}; }

auto l1 = get<int>();
auto l2 = get<long>();
auto l3 = get<int>();

static_assert(std::is_same_v<decltype(l1), decltype(l2)>); // fails
static_assert(std::is_same_v<decltype(l1), decltype(l3)>); // passes

// caveat: needs C++20
l1 = l2; // no, different lambdas
l1 = l3; // ok, same lambda

在你的例子中，t0 的函数指针和 t1是一样的，因为它们都是由 assign<&fun> 赋值的，其中 lambda 始终具有相同的类型。

因为它们具有相同的类型，所以它们具有相同的 operator()因此两个函数指针是相同的(它们指向相同的 operator() )。