C++核心准则T.69:在模板内部，不要进行不受限制的非成员函数调用-技术圈

C++核心准则T.69:在模板内部，不要进行不受限制的非成员函数调用

面向对象思考

共 2531字，需浏览 6分钟

· 2020-09-19

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
    // Call a member function
void test1(T t)
{
    t.f();    // require T to provide f()
}

template
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
void test3(T t)
    // Invoke a "trait"
{
    test_traits::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.
在模板同一个命名空间中，如果存在一个同名非成员函数，标记模板中针对传递受影响类型变量的非成员函数的不受限调用。

原文链接

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t69-inside-a-template-dont-make-an-unqualified-non-member-function-call-unless-you-intend-it-to-be-a-customization-point

新书介绍

《实战Python设计模式》是作者最近出版的新书，拜托多多关注！

本书利用Python 的标准GUI 工具包tkinter，通过可执行的示例对23 个设计模式逐个进行说明。这样一方面可以使读者了解真实的软件开发工作中每个设计模式的运用场景和想要解决的问题；另一方面通过对这些问题的解决过程进行说明，让读者明白在编写代码时如何判断使用设计模式的利弊，并合理运用设计模式。

对设计模式感兴趣而且希望随学随用的读者通过本书可以快速跨越从理解到运用的门槛；希望学习Python GUI 编程的读者可以将本书中的示例作为设计和开发的参考；使用Python 语言进行图像分析、数据处理工作的读者可以直接以本书中的示例为基础，迅速构建自己的系统架构。

觉得本文有帮助？请分享给更多人。

关注微信公众号【面向对象思考】轻松学习每一天！

面向对象开发，面向对象思考！