VC++ 14模板指向成员和指向成员函数的指针之间存在歧义

Question

我使用vs14编译器的函数模板有问题.因此,以下代码演示了该问题.

#include <iostream>
using namespace std;

class Class {
public:
    int memberFoo() {
        return 0;
    }
};

template <class VariableT, class C>
void nothing(const VariableT C::*memberV) {
    cout << "Pointer to member variable";
}

template <class R, class C>
void nothing(R (C::*memberF)()) {
    cout << "Pointer to member function";
}

int main() {

    nothing(&Class::memberFoo);

    return 0;
}

编译器让我知道nothing函数是模糊的.当我看到输出时,它似乎有其他行为超出我的预期.在第一个nothing函数中,编译器推导VariableT为int(void).实际上并不奇怪,但我认为第二个更合适并且会匹配.更有意思的是,如果const在第一个重载函数中删除,程序将正确编译.你能建议我怎么处理这个吗？

Answer 1

您可以使用一些方便的type_traits,is_member_function_pointer和is_member_object_pointer来修复它:

template <class R, class C>
void nothing(R (C::*memberF)())
{
    std::cout << "Pointer to function" << std::endl;
}

template <class VariableT, class C>
auto nothing(const VariableT C::* memberV)-> typename std::enable_if<std::is_member_object_pointer<decltype(memberV)>::value>::type
{
    cout << "Pointer to member variable";
}

现场演示

默认类型std::enable_if是void,因此返回类型保持不变void.

从你的帖子听起来应该实例化成员函数模板,但Visual Studio和Clang都对模糊性大喊大叫,我认为这是公平的,给定Type Class::*,你可以推断出指向成员的指针或指向成员函数的指针,假设替换为ReturnType()是有效的Type(这是我们所看到的).

所以我决定跳过所有这些并利用尾随返回类型来直接询问参数.

编辑

在TC的评论中包含来自链接的文本

条:14.8.2.1 [temp.deduct.call]
目前尚不清楚以下是否格式良好:

void foo(){}

template<class T>
void deduce(const T*) { }

int main() {
  deduce(foo);
}

实施方案对这个例子的处理方式各不相同.

实际上,你注意到删除const也消除了歧义.