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++怎么避免互补性约束这一问题有了更深刻的体会，具体使用情况还需要大家实践验证。这里是亿速云，小编将为大家推送更多相关知识点的文章，欢迎关注！