创建模板内部 lambda 函数？

Question

我一直在尝试解决 C++ 中的下一个函数问题：

template <typename T>
auto createFunction(T& ClosuredData) {
    template <typename U>
    return [&](function<void(T&, U&)> Callback) {
        return [&](U& DataFromCallback) {
            Callback(ClosuredData, DataFromCallback);
        };
    };
};

// example use
struct Person {
   string name{"Foo"};
   int age = 20;
}
Person foo{};
auto mutate = createFunction(foo);
auto changeAge = mutate<int>([](Person& person, int& age) {
    person.age = age;
})

changeAge(20)

所以基本上是一个带有内部模板 lambda 的模板函数创建者。 但当然，据我所知，内部模板在 C++ 中是不可能的。 我尝试将回调设置为自动类型，但当然我无法推断出 DataFromCallback 导致错误的类型安全。

我能否在不引入类/结构的情况下以某种方式实现适当的类型安全？

编辑： 我看到的“解决方案”之一是使用自动类型而不是功能：

template <typename T>
auto CreateFunction(T& ClosuredData) {
    return [&](auto Callback) {
        return [&, Callback](auto DataFromCallback) {
            Callback(ClosuredData, DataFromCallback);
        };
    };
};

这确实很酷，但给人一种类型安全的错误感觉，例如：

{
    Person person{};
    auto personMutator = CreateFunction(person);
    auto changeAge = personMutator([](Person& person, int age) {
        person.age = age;
    });

    changeAge(""); // Would not throw an error in this line, but at an upper stack

    changeAge(any); // same stuff
}

Answer 1

您似乎可以使用自 C++14 以来可用的通用 lambda（基本上用作内部模板）：

template <typename T>
auto CreateFunction(T& ClosuredData) {
    return [&](auto Callback) {
        return [&, Callback](auto DataFromCallback) {
            Callback(ClosuredData, DataFromCallback);
        };
    };
};