自己的 std::is_function 实现 [英] own std::is_function implementation
问题描述
建议此处以下列方式实现:
template<class Ret, class... Args>
struct is_function<Ret(Args...)const> : std::true_type {};
template<class Ret, class... Args>
struct is_function<Ret(Args...)volatile> : std::true_type {};
但它是一个有效的函数语法吗?Visual Studio 2013 报错:
But is it a valid function syntax? Visual Studio 2013 gives an error:
error C2270: 'abstract declarator' : modifiers not allowed on nonmember functions
推荐答案
函数参数之后的const
或 volatile
称为 cv-qualifier-seq.C++14 标准的第 8.3.5 节第 6 段说:
The const
or volatile
after the function parameters is called a cv-qualifier-seq.
Section 8.3.5 paragraph 6 of the C++14 standard says:
带有 cv-qualifier-seq 或 ref-qualifier 的函数类型(包括由 typedef-name (7.1.3,14.1)) 命名的类型应仅显示为:
A function type with a cv-qualifier-seq or a ref-qualifier (including a type named by typedef-name (7.1.3,14.1)) shall appear only as:
——非静态成员函数的函数类型,
— the function type for a non-static member function,
——成员指针所指的函数类型,
— the function type to which a pointer to member refers,
——函数 typedef 声明或别名声明的顶级函数类型,
— the top-level function type of a function typedef declaration or alias-declaration,
— 类型参数 (14.1) 的默认参数中的类型 ID,或
— the type-id in the default argument of a type-parameter (14.1), or
——类型参数的模板参数的类型 ID (14.3.1).
— the type-id of a template-argument for a type-parameter (14.3.1).
在您的示例中,Ret(Args...)const
和 Ret(Args...)volatile
满足最后一种情况.
In your example, Ret(Args...)const
and Ret(Args...)volatile
satisfy the last case.
这篇关于自己的 std::is_function 实现的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!