6

我有一个问题，在 g++ 4.7 和 g++ 4.8 上创建指向重载函数的函数指针会导致编译错误，但在 g++ 4.4、g++ 4.6 或 clang++ 3.2（可能还有 VS2010）上没有。

在谷歌搜索了一下以找出问题是 g++ 还是我的代码，我仍然无法决定。适用于函数指针转换的重载解决规则与适用于函数调用的重载解决规则是否不同？

这是一个演示该问题的最小化代码：

template < class T >
struct Dummy {
    typedef T value_type;
    value_type value;
};

template < class T >
typename T::value_type f (const T& x) {
    return x.value;
}

template < class T >
T f (Dummy< T > const& x) {
    return x.value + 1;
}

int main (int, char**) {
    Dummy< int > d = { 1 };
    // No ambiguity here
    d.value = f(d);
    // This is ambiguous for *some* compilers
    int (* const f_ptr)(Dummy< int > const&) = f;
    return f_ptr( d );
}

clang++ 3.2、g++ 4.4 和 g++ 4.6 编译这个-Wall -pedantic --std=c++98没有警告。

但是 g++ 4.7 和 g++ 4.8 会给出以下错误消息：

test.cc: In function ‘int main(int, char**)’:
test.cc:15:45: error: converting overloaded function ‘f’ to type ‘int (* const)(const struct Dummy<int>&)’ is ambiguous
test.cc:6:18: error: candidates are: typename T::Type f(const T&) [with T = Dummy<int>; typename T::Type = int]
test.cc:9:3: error:                 T f(const Dummy<T>&) [with T = int]

这是新版本的 g++ 的问题还是我的代码实际上是错误的？

如果是这样，人们将如何解决这种模棱两可的问题？

4

1 回答 1

3

这是新版本的 g++ 的问题还是我的代码实际上是错误的？

我想这是合法代码（但我不太确定）。添加到列表中：它使用 clang 3.3 和 icc 13.1.3 编译。

如何解决这样的歧义？

您可以使用

    int (* const f_ptr)(Dummy< int > const&) = f<int>;

选择第二个过载或

    int (* const f_ptr)(Dummy< int > const&) = f<Dummy<int> >;

选择第一个。

如果您不想手动消除歧义（就像我上面的建议），我可以建议使用 SFINAE 消除歧义的解决方法。我假设您可以使用 C++11（函数模板的默认模板参数），但我相信通过一些额外的工作，它可以扩展到 C++98。

将定义更改f为：

template < class T, class R = typename T::value_type>
R f (const T&) {
    return x.value;
}

template < class T, class R = T>
R f (Dummy< T > const&) {
    return x.value + 1;
}

有了这个，原始行（下面）在 gcc（4.7.3 和 4.8.1）中编译得很好：

int (* const f_ptr)(Dummy< int > const&) = f;
于 2013-11-06T17:58:20.603 回答