c++ - std::function隐式类型转换

使用g++ (Ubuntu 4.8.5-1ubuntu1) 4.8.5并使用g++ -std=c++11 -Wall -Wextra -Wconversion进行编译

不能按预期编译以下内容:

template <typename T>
struct Foo {
    Foo(T t) {}
};

struct Bar {
    Bar(Foo<float> foo) : foo(foo) {} //Trying to convert Foo<float> to Foo<double>
    Foo<double> foo;
};

如下所示，编译时从-Wconversion发出警告:

void foo(float t){}
int main() {
    foo(3.141592653589794626);
    return 0;
}

但是，以下编译没有警告:

#include <functional>

void foo(double t){}

struct Bar {
    Bar(std::function<void(float)> foo) : foo(foo) {} //Convert std::function<void(float)> to std::function<void(double)>
    std::function<void(double)> foo;
};

int main(){
    Bar bar(foo); //Convert std::function<void(double)> to std::function<void(float)>
    bar.foo(3.141592653589794626); //Rounded  to: 3.141592741012573
    foo(3.141592653589794626);     //Not rounded: 3.141592653589794
    return 0;
}

显然，这是一些自动转换float<->double，但是为什么在第三个示例而不是第一个示例中允许它？为什么-Wconversion无法捕捉到这个？

(例如，在使用纬度/经度时，精度的无形损失在许多地区都是一个问题)。

最佳答案

正如Elwin Arens指出的那样，问题在于std::function的内部工作中进行的类型擦除。可能有人认为，一种快速的解决方法是将构造函数参数中的类型更改为double，但这并不能阻止用户传递采用float的函数。例如，

void foo(float t) {
    std::cout << std::setprecision(15) << std::fixed << t << std::endl;
}

struct Bar {
    Bar(std::function<void(double)> foo) : foo(foo) {}
    std::function<void(double)> foo;
};

int main() {
    Bar bar(foo);
    bar.foo(3.141592653589794626); //Rounded  to: 3.141592741012573
        foo(3.141592653589794626); //Not rounded: 3.141592653589794
}

编译文件，但给出了不希望的结果。一种解决方法是使用模板构造函数和一些TMP。

void foo(double t) {
    std::cout << std::setprecision(15) << std::fixed << t << std::endl;
}

struct Bar {
    using target_type = double;
    using func_type = void(*)(target_type);

    template <typename T, typename U = typename std::enable_if<std::is_same<T,func_type>::value,void>::type>
    Bar(T foo) : foo(foo) {}

    std::function<void(target_type)> foo;
};

int main() {
    Bar bar(foo);
    bar.foo(3.141592653589794626); //Rounded  to: 3.141592741012573
        foo(3.141592653589794626); //Not rounded: 3.141592653589794
}

现在，如果您传递与Bar::foo的签名不匹配的函数，它将无法编译。麻烦的是，如果func_type发生更改，则必须确保它也与Bar::foo的签名匹配。