C++核心准则T.61:不要过度参数化成员（SCARY）-技术圈

T.61: Do not over-parameterize members (SCARY)

T.61:不要过度参数化成员（SCARY）

Reason（原因）

A member that does not depend on a template parameter cannot be used except for a specific template argument. This limits use and typically increases code size.

不依赖于模板参数的成员无法使用，特定的模板参数除外。这会限制使用并通常会增加代码大小。

Example, bad（反面示例）

template
    // requires Regular && Allocator
class List {
public:
    struct Link {   // does not depend on A
        T elem;
        T* pre;
        T* suc;
    };

    using iterator = Link*;

    iterator first() const { return head; }

    // ...
private:
    Link* head;
};

List lst1;
List lst2;

This looks innocent enough, but now Link formally depends on the allocator (even though it doesn't use the allocator). This forces redundant instantiations that can be surprisingly costly in some real-world scenarios. Typically, the solution is to make what would have been a nested class non-local, with its own minimal set of template parameters.

代码看起来足够正确，但是现在Link形式上依赖于分配器（即使它没有使用分配器）。这会引发多余的例示，而这种例示在某些现实流程中可能会带来令人惊讶的高成本。通常的解决方案是让本来的嵌套类别弄成非局部的，同时它的成员只拥有最少的模板参数。

template
struct Link {
    T elem;
    T* pre;
    T* suc;
};

template
    // requires Regular && Allocator
class List2 {
public:
    using iterator = Link*;

    iterator first() const { return head; }

    // ...
private:
    Link* head;
};

List lst1;
List lst2;

Some people found the idea that the Link no longer was hidden inside the list scary, so we named the technique SCARY. From that academic paper: "The acronym SCARY describes assignments and initializations that are Seemingly erroneous (appearing Constrained by conflicting generic parameters), but Actually work with the Right implementation (unconstrained bY the conflict due to minimized dependencies)."

有些人会发现Link不再被list隐藏，因此我们称这种技术为SCARY。根据大学论文：“SCARY这个缩写描述了一些看起来错误（看起来被冲突的参数约束），但实际上可以和正确的实现一起工作（由于最小化的依赖关系而不会被冲突所限制）的赋值和初始化。”

论文链接：

http://www.open-std.org/jtc1/sc22/WG21/docs/papers/2009/n2911.pdf

Enforcement（实施建议）

Flag member types that do not depend on every template argument
标记不依赖于任何模板参数的成员
Flag member functions that do not depend on every template argument
标记不依赖于任何模板参数的成员的成员函数。

原文链接

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#t61-do-not-over-parameterize-members-scary

新书介绍

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

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

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

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

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

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