C++怎么避免互補性約束

這篇文章主要講解了“C++怎么避免互補性約束”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“C++怎么避免互補性約束”吧！

T.25:避免互補約束

Reason（原因）

Clarity. Maintainability. Functions with complementary requirements expressed using negation are brittle.

清晰性。可維護性。包含互補的，使用否定方式表達的需求的函數是脆弱的。

Example (using TS concepts)（示例（使用TS概念））

Initially, people will try to define functions with complementary requirements:

最開始，人們試圖用互補需求定義函數：

template<typename T>
    requires !C<T>    // bad
void f();

template<typename T>
    requires C<T>
void f();

This is better:

下面的代碼更好：

template<typename T>   // general template
    void f();

template<typename T>   // specialization by concept
    requires C<T>
void f();

The compiler will choose the unconstrained template only when C<T> is unsatisfied. If you do not want to (or cannot) define an unconstrained version of f(), then delete it.

只有在C<T>不能滿足時，編譯器才會選擇非約束模板。如果你不想（或不能）定于f()的非約束性版本，刪除它。

template<typename T>
void f() = delete;

The compiler will select the overload and emit an appropriate error.

編譯器會選擇重載重載并報出適當的錯誤。

Note（注意）

Complementary constraints are unfortunately common in enable_if code:

很不幸，互補的約束在enable_if代碼中很常見：

template<typename T>
enable_if<!C<T>, void>   // bad
f();

template<typename T>
enable_if<C<T>, void>
f();

Note（注意）

Complementary requirements on one requirements is sometimes (wrongly) considered manageable. However, for two or more requirements the number of definitions needs can go up exponentially (2,4,8,16,...):

一個需求上的互補需求有時（被錯誤地）認為是可控的。然而，對于兩個或更多的需求，定義的數目需要可以按照指數方式增長。

C1<T> && C2<T>
!C1<T> && C2<T>
C1<T> && !C2<T>
!C1<T> && !C2<T>

Now the opportunities for errors multiply.

現在錯誤的可能性也倍增了。

Enforcement（實施建議）

• Flag pairs of functions with C<T> and !C<T> constraints

• 標記使用C<T> 和!C<T> 約束的函數對。

感謝各位的閱讀，以上就是“C++怎么避免互補性約束”的內容了，經過本文的學習后，相信大家對C++怎么避免互補性約束這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！