确定类型是否具有特定的成员函数签名

Question

template<typename U> struct CheckSignature {
    enum {SizeTrue = 1, SizeFalse = 2};
    typedef char ReturnTrue[SizeTrue];
    typedef char ReturnFalse[SizeFalse];
    typedef typename U::iterator (U::*InsertSig)(typename U::iterator, typename const U::value_type &);
    static ReturnTrue &CheckInsert(InsertSig);
    static ReturnFalse &CheckInsert(...);
    static const bool value = (sizeof(CheckInsert(&U::insert)) == sizeof(ReturnTrue));
};

int main() {
    CheckSignature<std::string >::value; //compile error
    CheckSignature<std::vector<int> >::value; // OK
    return 0;
}

此代码为字符串类生成一个编译错误，指出这两个重载都无法转换所有参数类型。然而，对于向量来说它编译得很好。当参数不是 InsertSig 类型时，重载解析不应该选择 CheckInsert(...) 吗？

Answer 1

std::string::insert 不采用 const char& 参数，而仅采用 char。

此外，根据实现在 C++11 支持方面的进展，所有容器都可能使用 const_iterator（而不是迭代器）来指示位置。

Answer 2

请尝试这样做：

#include <string>
#include <vector>
#include <iostream>

template<typename U> struct CheckSignature {
    enum {SizeTrue = 1, SizeFalse = 2};
    typedef char ReturnTrue[SizeTrue];
    typedef char ReturnFalse[SizeFalse];
    typedef typename U::iterator (U::*InsertSig)(typename U::iterator, typename U::value_type const &);
    template <InsertSig f> struct dummy_type { };
    template <typename T>
    static ReturnTrue &CheckInsert(T*, dummy_type<&T::insert> dummy = dummy_type<&T::insert>());
    static ReturnFalse &CheckInsert(...);
    static const bool value = (sizeof(CheckInsert(((U*)0))) == sizeof(ReturnTrue));
};

int main() {
    if(CheckSignature<std::string >::value) {
      std::cout << "String class has proper insert function" << std::endl;
    }; //OK, does not print, as expected.
    if(CheckSignature<std::vector<int> >::value) {
      std::cout << "Vector class has proper insert function" << std::endl;
    }; //OK, does print, as expected.
    return 0;
}

它不起作用的原因是，在您的版本中，获取插入函数的地址将在调用站点失败，而不是在替换时失败（这不是错误）。上面将确保，如果类型 U（模板化为 T）无法用于获取要插入的可转换为给定签名的成员函数指针，它将无法替换虚拟参数，因此将恢复为省略号版本。