C++核心准则T.69:在模板内部,不要进行不受限制的非成员函数调用
T.69: Inside a template, don't make an unqualified non-member function call unless you intend it to be a customization point
T.69:在模板内部,不要进行不受限制的非成员函数调用,除非你希望它成为一个定制点
Reason(原因)
- Provide only intended flexibility. 只按意图提供弹性。
- Avoid vulnerability to accidental environmental changes. 避免偶然的环境变化时的脆弱性。
Example(示例)
There are three major ways to let calling code customize a template.
存在三种主要的方式让调用代码定制模板。
template<class T>
// Call a member function
void test1(T t)
{
t.f(); // require T to provide f()
}
template<class T>
void test2(T t)
// Call a non-member function without qualification
{
f(t); // require f(/*T*/) be available in caller's scope or in T's namespace
}
template<class T>
void test3(T t)
// Invoke a "trait"
{
test_traits<T>::f(t); // require customizing test_traits<>
// to get non-default functions/types
}
A trait is usually a type alias to compute a type, a constexpr function to compute a value, or a traditional traits template to be specialized on the user's type.
特征通常是一种用于计算类型的类型别名,一种用于求值的常量表达式函数,或者用于针对某个用户类型特化的传统的特征模板。
Note(注意)
If you intend to call your own helper function helper(t) with a value t that depends on a template type parameter, put it in a ::detail namespace and qualify the call as detail::helper(t);. An unqualified call becomes a customization point where any function helper in the namespace of t's type can be invoked; this can cause problems like unintentionally invoking unconstrained function templates.
如果你想用依赖模板类型参数的值t调用你自己的帮助函数helper(t),将它放入::detail命名空间并用detail::helper(t)对调用进行限定;如果一个帮助函数处于t的类型可以被触发的命名空间,不受限的调用会成为一个定制点;这会引起意外调用非约束函数模板等问题。
Enforcement(实施建议)
- In a template, flag an unqualified call to a non-member function that passes a variable of dependent type when there is a non-member function of the same name in the template's namespace. 在模板同一个命名空间中,如果存在一个同名非成员函数,标记模板中针对传递受影响类型变量的非成员函数的不受限调用。
- JavaScript 教程
- JavaScript 编辑工具
- JavaScript 与HTML
- JavaScript 与Java
- JavaScript 数据结构
- JavaScript 基本数据类型
- JavaScript 特殊数据类型
- JavaScript 运算符
- JavaScript typeof 运算符
- JavaScript 表达式
- JavaScript 类型转换
- JavaScript 基本语法
- JavaScript 注释
- Javascript 基本处理流程
- Javascript 选择结构
- Javascript if 语句
- Javascript if 语句的嵌套
- Javascript switch 语句
- Javascript 循环结构
- Javascript 循环结构实例
- Javascript 跳转语句
- Javascript 控制语句总结
- Javascript 函数介绍
- Javascript 函数的定义
- Javascript 函数调用
- Javascript 几种特殊的函数
- JavaScript 内置函数简介
- Javascript eval() 函数
- Javascript isFinite() 函数
- Javascript isNaN() 函数
- parseInt() 与 parseFloat()
- escape() 与 unescape()
- Javascript 字符串介绍
- Javascript length属性
- javascript 字符串函数
- Javascript 日期对象简介
- Javascript 日期对象用途
- Date 对象属性和方法
- Javascript 数组是什么
- Javascript 创建数组
- Javascript 数组赋值与取值
- Javascript 数组属性和方法