g++ 为 transform() 的参数生成错误

Question

g++ 会为此代码生成错误。我必须更改std::sin为(double (*)(double))std::sin. 为什么？

#include <iostream>
#include <list>
#include <algorithm>
#include <cmath>

int main(int argc, char *argv[])
{
    std::list<double> radians = {0.0, 3.14/2, 3.14};
    std::list<double> sines(radians.size());
    std::transform(radians.begin(), radians.end(), sines.begin(), std::sin);

    for(auto i = radians.begin(), j = sines.begin(); i != radians.end(); i++, j++)
        std::cout << "Angle and sine: " << *i << " " << *j << std::endl;

    return 0;
}

Answer 1

因为std::transform是函数模板，函数对象参数的类型被声明为模板参数，需要从函数参数中推导出来。但是std::sin有几个重载，没有上下文来确定应该选择哪个重载然后用于推断模板参数。

您可以使用static_cast（或您展示的 c 样式转换）来指定一个。

static_cast 也可以通过执行函数到指针到特定类型的转换来消除函数重载的歧义，如

std::for_each(files.begin(), files.end(),
              static_cast<std::ostream&(*)(std::ostream&)>(std::flush));

例如

std::transform(radians.begin(), radians.end(), sines.begin(), static_cast<double(*)(double)>(std::sin));

或者明确指定模板参数以绕过模板参数推导。使用已知的函数参数类型将执行重载解析以选择适当的重载。

std::transform<std::list<double>::iterator, 
               std::list<double>::iterator, 
               double(*)(double)
              >(radians.begin(), 
                radians.end(), 
                sines.begin(), 
                std::sin
               );