相关疑难解决方法(0)

假设我有一个类型T,我想检测它是否有一个下标操作符,我可以用另一种类型调用它Index.以下示例工作得很好:

#include <type_traits>
#include <vector>

template < typename T, typename Index >
using subscript_t = decltype(std::declval<T>()[std::declval<Index>()]);

int main()
{
    using a = subscript_t< std::vector<int>, size_t >;
    using b = subscript_t< std::vector<int>, int    >;
}

但是,当且仅当函数签名完全匹配时,我希望检测函数.在上面的例子中,我希望语句subscript_t< std::vector<int>, int >;抛出一个错误no viable overloaded operator[],因为下标运算符的签名std::vector是

std::vector<T, std::allocator<T>>::operator[](size_type pos);

size_typeGCC 在哪里unsigned long.如何避免隐式转换从int到size_t要发生？

这个Q是以下的扩展:
是否可以编写C++模板来检查函数的存在？

是否有任何有助于找到的实用程序:

• 如果某个成员名称存在于某个类中？该成员可以是变量或方法.
• 指定成员的类型应该是可选的