前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >C++核心准则T.69:在模板内部,不要进行不受限制的非成员函数调用

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

作者头像
面向对象思考
发布2020-09-21 14:45:56
1.1K0
发布2020-09-21 14:45:56
举报
文章被收录于专栏:C++核心准则原文翻译

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.

存在三种主要的方式让调用代码定制模板。

代码语言:javascript
复制
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. 在模板同一个命名空间中,如果存在一个同名非成员函数,标记模板中针对传递受影响类型变量的非成员函数的不受限调用。
本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-09-17,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 面向对象思考 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • Reason(原因)
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档