SFINAE:运算符上的 decltype []

SFINAE: decltype on operator[]

本文关键字：decltype 运算符 SFINAE      更新时间：2023-10-16

基于这里和这里的答案，我尝试使用以下

template <typename T>
using operator_square_brackets = decltype(&T::operator[]);

它在视觉工作室上失败

error C2760: syntax error: expected ')' not ']'

关于如何解决这个问题的任何想法？

如果要检测类型是否具有某个函数或重载运算符，则必须调用该函数或运算符。 这一点很重要，因为您可能有多个函数或运算符重载，并且重载解析始终取决于调用方。

下面是一个基于 CppCon 2014 的小示例：Walter E. Brown "Modern Template Metaprogramming： A Compendium， Part II"，介绍如何检测类型中的operator[]。

我不知道为什么VC会给你一个如此奇怪的错误，看起来更像是一个解析错误。 我本来希望诸如»无法解决对重载函数的引用之类的内容;你的意思是叫它吗？

#include <string>
#include <type_traits>
#include <vector>
// in C++17 std::void_t
template < typename... >
using void_t = void;

template < typename T, typename Index >
using subscript_t = decltype(std::declval<T>()[std::declval<Index>()]);
template < typename, typename Index = size_t, typename = void_t<> >
struct has_subscript : std::false_type {};
template < typename T, typename Index >
struct has_subscript< T, Index, void_t< subscript_t<T,Index> > > : std::true_type {};

struct A
{
void operator[](size_t) {}
};
struct B {};
int main ()
{
static_assert(has_subscript< std::vector<int> >::value    == true , "!");
static_assert(has_subscript< std::vector<double> >::value == true , "!");
static_assert(has_subscript< A >::value                   == true , "!");
static_assert(has_subscript< A, std::string >::value      == false, "!");
static_assert(has_subscript< B >::value                   == false, "!");
static_assert(has_subscript< double[5] >::value           == true , "!");
static_assert(has_subscript< double* >::value             == true , "!");
static_assert(has_subscript< double >::value              == false, "!");
}
相关文章：