lambda 可以作为 C++17 中的模板参数传递吗？

Question

我已经阅读了关于 SO 的多个答案，其中 lambdas 被传递给 class 模板，但由于某种原因我无法实现它......我正在使用 g++ 版本 9 并使用 C++17。

#include <string>

struct Type {
    Type();
    Type(int);
    int theVal();
};

template<typename Key, typename Value, Key(*KeyFunc)(Type t) = nullptr>
struct MyClass {
    MyClass(){}

    ~MyClass(){}

    void add(const Key key, const Value value){
         //do stuff
    }

    void add(const Value value){
         this->add(KeyFunc(value), value);
    }
};

int main(){
    MyClass<
      int,
      std::string,
      +[](Type t){
        return t.theVal();
      }
    > instance;

    Type value(100);

    instance.add(value);

    return 0;
}

错误消息告诉我模板中不能有 lambda。

Answer 1

可以，但需要先在模板参数外声明，并且lambda必须是无捕获的：

auto lambda = [](Type t) {
    return t.theVal();
};

// Works, C++17 allows constexpr conversion for nttp
MyClass<int, Type, lambda> instance;

在 C++20 中，您可以直接在模板参数中使用 C++17 的auto模板参数和 lambda：

constexpr auto noop = [](auto&& v) -> decltype(auto) {
    return static_cast<decltype(v)&&>(v);
};

template<typename Key, typename Value, auto KeyFunc = noop>
class MyClass {
    // ...
};

MyClass<
    int,
    Type,
    [](Type t) {
        return t.theVal();
    }
> instance;

C++20 实例

C++17 实例