C++中為什么不要進行不受限制的非成員函數調用

本篇內容介紹了“C++中為什么不要進行不受限制的非成員函數調用”的有關知識，在實際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領大家學習一下如何處理這些情況吧！希望大家仔細閱讀，能夠學有所成！

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（實施建議）

在模板同一個命名空間中，如果存在一個同名非成員函數，標記模板中針對傳遞受影響類型變量的非成員函數的不受限調

“C++中為什么不要進行不受限制的非成員函數調用”的內容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業相關的知識可以關注億速云網站，小編將為大家輸出更多高質量的實用文章！