Question

g ++ 4.8.1和clang ++ 3.4为下一个代码提供了不同的结果：

// simplified code from a Logger module
#include <iostream>

template<class T> void tf(const T*) {  // clang++ 
    std::cout << "void tf(const T*)\n"; 
}

template<class T> void tf(T) {  // g++
    std::cout << "void tf(T)\n"; 
}

int main(){ 
    typedef std::ios_base& (*ph)(std::ios_base&);
    ph p = std::hex;
    tf(p); // or just tf(std::hex)
}

我无法弄清楚哪个变体是正确的（C ++ 03）。

Answer 1

指向函数的指针不是指向对象的指针，而是在谈论const - 指向函数的指针在C ++中没有意义。

IMO g ++是正确的，因为hex有资格作为指向函数的指针，但不能作为任何事物的const *。

在第一种情况下，模板参数不是“指针”而是“指向对象的指针”。

在C ++中没有通用“指针”这样的东西......你有指向函数的指针，指向对象的指针或指向成员的指针。三者中的每一个都有不同的规则，与其他规则不相容。

不可否认，空指针会引起一些混乱......

Answer 2

我试图把这个提交给llvm bugzill作为一个bug。答案是：

这是一个GCC错误。参见：

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#1584

函数模板重载clang ++

2 个答案: