C++将*this传递给基构造函数

Question

template<class Lambda>
struct EmptyL : Lambda
{
    EmptyL() : Lambda(*this) //<- is this valid c++?
    { }
};

int main () {    
auto l = []() { return 34; };
auto a = EmptyL<decltype(l)>();
return a();
}

• 我为什么要这样做？因为lambda表达式生成的ClosureType不是默认可构造的。通过这个“技巧”，我可以默认构造这样的closureType。
• 此外，模板参数lambda的要求是，它必须为空=>static_assert(std::is_empty_v )

Answer 1

这是有效的，非常有用：基类可能有一个模板ctor，然后它将知道后代的类型。

struct Lambda {
    template<typename Desc>
    Lambda(const Desc&)
        : myType(Desc::myType)  // static in Desc
        , arity(Desc::arity) {} // static in Desc
    Type myType;
    const size_t arity;
};

此时，我们有了不带虚表的运行时类型枚举，我们可以提取任意数量的依赖于类型的参数到成员，并且如果您再添加一个（否则这对虚拟基类来说特别痛苦），您就不需要更改所有后代中的所有ctor调用，或者更糟的是，有了这些虚拟fn。您只需到处传递this-它甚至是宏友好的：）。

是的，你可以通过传递其他东西来绕过它。不，这不是一个安全功能--这是一个便利功能。这与CRTP非常相似，但基不是模板，因为它不需要整个类中的编译时后代类型，只需要在（template）ctor中。