为什么std :: apply使用泛型函数失败？

来自cppreference，为什么std::apply(add_generic, ...)的调用不能编译？有没有办法解决它？为什么std :: apply使用泛型函数失败？

#include <iostream> 
#include <tuple> 

int add(int first, int second) 
{ 
    return first + second;  
} 

template<typename T> 
T add_generic(T first, T second) 
{ 
    return first + second;  
} 

int main() 
{ 
    std::cout << std::apply(add, std::make_tuple(1,2)) << '\n'; 

    // template argument deduction/substitution fails 
    std::cout << std::apply(add_generic, std::make_tuple(2.0f,3.0f)) << '\n'; 
}

它fails错误：

[x86-64 gcc 7 (snapshot)] error: no matching function for call to 'apply(, std::tuple)' [x86-64 gcc 7 (snapshot)] note: couldn't deduce template parameter '_Fn'

来源

2017-04-02 Benoît

没有看到你所得到的错误，我想这是可能是因为无法正确推断参数类型“T”？ –

你是如何编译代码的？ 'std :: apply'需要'C++ 17'，你的编译器是否支持'C++ 17'？ – Rogus

'add_generic'不是一个函数，它是一个模板。你不能从没有类型的东西中推导出一个类型。 – chris

这并不是新的C++ 17。仅从std::apply的签名中，就不知道您是否想要通过add_generic<int>，add_generic<float>，add_generic<std::string>或其他任何内容。知道这需要更多的上下文（具体而言：它需要知道std::apply将如何调用它），但该信息在呼叫站点不可用，因此不能用于模板参数推演。

这是可能的解决通过传递一个对象，使得调用需要取其add_generic实例化一个对象能够：

std::cout << std::apply(
    [](auto first, auto second) { return add_generic(first, second); }, 
    std::make_tuple(2.0f,3.0f)) << '\n';

来源

2017-04-02 17:44:02 hvd

为什么std :: apply使用泛型函数失败？

回答

相关问题