Question

使用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没有抓住这个？

（无形精度损失在许多方面都存在问题，例如在使用纬度/经度时）。

Answer 1

正如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的签名匹配，如果它发生变化。

Answer 2

这与std :: function的目的有关，因为它用于运行时多态性，因此它使用了类型擦除，已经讨论过here here和here

std :: function隐式类型转换

2 个答案: