模板参数推导在 C++14 上失败

Question

我试图编译此代码，但它在 C++14 上失败，而它在 C++17 上运行

#include <cstdio>
#include <utility>

template <typename F>
struct S {
    explicit S(F&& fn): fn(std::move(fn)) {}
    F fn;
    ~S() { fn(); }
};


int main(){
    S obj([]() noexcept {
        std::printf("Foo\n");
    });                                                                                                 
}

我在C++17中的see thatS的构造函数被调用为

   call    S<main::{lambda()#1}>::S(main::{lambda()#1}&&)

这表明编译器推导出了模板参数。除了执行以下操作之外，还有其他方法可以在 C++14 中编译此代码吗？

auto fn = []() noexcept {
    std::printf("Foo\n");
};
S<decltype(fn)> obj(std::move(fn)); 

Answer 1

类模板参数推导（CTAD）仅在 C++17 中引入。你可以用函数推导出参数：

template <typename F>
S<F> make_S(F&& fn) { return S<F>{std::forward<F>(fn)}; }

int main(){
    auto obj = make_S([]() noexcept {
        std::printf("Foo\n");
    });
}

Answer 2

如果您可以使用固定的函数签名，那么这也适用于 C++14。

#include <functional>
#include <iostream>
#include <utility>

struct S 
{
    template <typename F>
    explicit S(F&& fn) : 
        m_fn(fn)
    {
    }

    ~S() 
    { 
        m_fn(); 
    }

private:
    std::function<void ()> m_fn;
};


int main() {
    S obj([]() noexcept 
    {
            std::cout << "Foo\n";
    });

    return 0;
}