c++ - 在编译时将 this 指针和类方法的参数传递给本地 lambda 函数

Question

假设您有一个场景，当您想要在一个方法中创建一个 constexpr lambda 以在编译时计算某些东西。

struct A {
    int a;
    constexpr A(int a) : a(a) {}
    constexpr auto operator+(const A& rhs) {
        constexpr auto l = [&]() {
            return A(this->a + rhs.a);
        };
        return l();
    }
};

此代码无法编译，因为编译器认为 this 和 rhs 不是常量表达式。有没有办法将 this 和 rhs 传递给本地 constexpr lambda？

Answer 1

您不能捕获this 和rhs 的a 成员(通过引用)并维护constexpr 有效性¹;但是，您可以将这些成员作为(常量)引用参数传递给您的 lambda:

struct A {
    int a;
    constexpr A(int a) : a(a) { }
    constexpr auto operator+(const A rhs) {
        constexpr auto l = [](const int& ta, const int& ra) {
            return A(ta + ra);
        };
        return l(a, rhs.a); // Or return l(this->a, rhs.a) if you prefer
    }
};

---

¹ 或者也许可以，但它很乱:Lambda capture as const reference?