c++ - 有没有更好的方法在 C++ 中实现类似 Java 的本地类？

Question

有些情况下，当重载 operator() 不够用或者我需要虚函数或其他东西时，我必须选择本地类而不是 lambda。

嗯..例如:

1. 我需要一个对象来捕获局部变量，并包含多个函数，不幸的是，这些函数具有相同的签名。

   • 如果函数具有不同的签名，重载 lambda 可以解决此类问题。我认为这是一个常见问题，因为存在 lambda 重载技巧。

2. 我需要一个捕获局部变量并继承其他类或具有成员变量的对象。

   • 这是 Java 世界中每天都会发生的事情。动态多态性有它的用处，至少有时是这样。

我现在正在做的是定义一些像这样的辅助宏:

#define CAPTURE_VAL(Var) decltype(Var) Var
#define CAPTURE_REF(Var) decltype(Var) &Var
#define INIT_CAPTURE(Var) Var(Var)

并将它们放入本地类:

struct Closure
{
    Closure(CAPTURE_VAL(var1), CAPTURE_REF(var2)) : INIT_CAPTURE(var1), INIT_CAPTURE(var2)
    {
    }

    int foo()
    {
        return some_expression;
    }

private:

    CAPTURE_VAL(var1);
    CAPTURE_REF(var2);

} closure(var1, var2);

这很丑。

我必须引用同一个变量三次。

我必须给类命名为 ctor。

我必须为闭包提供一个变量名，尽管我认为这在当前标准下无济于事。

至少在 VC++11 中，lambda 的捕获变量是私有(private)的，所以我不能简单地继承 lambda 类。继承 lambda 类，至少在 VC++11 中，需要一个用于 lambda 的变量(或者可能是其他一些用于求值的占位符)，这很丑陋。

---

而且我想我什至不知道标准是否允许我以这种方式捕获局部类中局部变量的类型...

在 GCC 4.6 上测试，局部变量的类型不能像在 VC++ 中那样被捕获。捕获的变量不会像在 VC++ 中那样公开。哈哈

啊，我的错。我忘了打开 C++11。这在 G++ 上运行良好。但是 lambda 类型不能被继承，捕获的变量仍然没有暴露。

不太好...必须保留 -fpermissive。或者 G++ 认为成员变量与 decltype() 中使用的局部变量冲突。

---

我一直在徘徊，为什么 C++ 选择如此高级的 lambda 作为闭包，而不是更通用的可以捕获局部变量的局部类。

Answer 1

这不仅仅是对您问题的简单评论，所以我将其作为答案。

在某些情况下，您确实需要比简单仿函数或 lambda 更复杂的其他东西。但是这些情况非常不同和多样，没有“一刀切”的解决方案，尤其是没有适合几行并且不会破坏单个功能范围的解决方案。
就可读性和简单性而言，在函数内部动态创建复杂行为不是一个好主意，而且很可能会违反函数的 SRP。
在许多情况下，如果您必须编写多个 operator()，这意味着您将希望重用您编写的代码，如果它在本地类中则无法实现。

意思:在大多数情况下，最好的解决方案是在函数之外编写一个适当的类，并使用适当的构造函数等。