zoukankan      html  css  js  c++  java
  • Effective C++:规定20: 宁pass-by-reference-to-const更换pass-by-value

    (一)

    假设传递参数当函数被调用pass-by-value,然后函数的参数是基于实际参数的副本最初值,调用,也得到该函数返回的结束值复印件。

    请看下面的代码:

    class Person { 
    public: 
        Person(); 
        virtual ~Person();  
    private: 
        string name; 
        string address; 
    };
    
    class Student : public Person { 
    public: 
        Student(); 
        ~Student(); 
    private: 
        string schoolName; 
        string schoolAddress; 
    };
    
    bool validateStudent(Student s); 
    Student plato; 
    bool platoIsOK = validateStudent(plato);

    当上述函数调用validateStudent(plato);时,Student的copy构造函数被调用,以plato为蓝本将s初始化。当validateStudent返回s被销毁。所以參数的传递成本是“一次Student copy构造函数调用,一次Student析构函数调用”。

    可是还不是整个故事。Student对象内有两个string对象,Student对象继承自Person对象。因此必须构造出Person对象,Person对象又有两个string在当中。

    因此以by-value方式传递一个Student对象会导致调用一次Student copy构造函数、一次Person copy构造函数、四次string copy构造函数。当那个Student复件被销毁。每一个构造函数动作多须要一个相应的析构函数调用动作。所以整体成本是“六次构造函数和六次析构函数”!

    解决方法: pass-by-reference-to-const

    bool validateStudent(const Student& s);
    这样的方式没有不论什么构造和析构函数被调用。由于没有不论什么新对象被创建。const是必要的。调用者不用操心validateStudent改变他们传入的那个Student。


    (二)

    by reference传递參数还能够避免slicing(对象分割)问题。当一个derived class对象以by value传递给一个base class对象。

    base class的copy构造函数被调用。而“构造此对象的行为像个derived class对象”的那些特化性质被分割掉了,仅留下一个base class对象。由于正是base class的构造函数创建了它。

    如果有以下的继承关系:

    class Window { 
    public: 
        string name() const; 
        virtual void display() const; 
    };
    class WindowWithScrollBars : public Window { 
    public: 
        virtual void display() const; 
    };
    错误的函数写法:

    void printNameAndDisplay(Window w) 
    { 
        std::cout << w.name(); 
        w.display(); 
    }
    当调用上面这个函数的时候:

    WindowWithScrollBars wwsb; 
    printNameAndDisplay(wwsb);
    w会被构造成一个Window对象:他是pass-by-value,造成wwsb“之所以是个WindowWithScrollBars对象”的全部特化信息被切除。所以display调用的总是Window::display()。这肯定不是我们想要的!

    !!

    解决方法:
    以by reference to const的方式传递w:

    void printNameAndDisplay(const Window& w) { 
        cout << w.name(); 
        w.display(); 
    }
    如今,传进来的窗体是什么类型。w就表现出那种类型。


    (三)
    某些编译器对待“内置类型”和“用户自己定义类型”截然不同,纵使两者有同样的底层表述。有些编译器会把一个double变量放进缓存器。可是不会把仅仅含有一个double的class放进缓存器。

    窥视c++编译器的底层。你会发现。reference往往以指针实现出来,因此pass-by-reference通常意味着传递的是指针。因此假设你有个对象属于内置类型(比如int)pass by value往往比pass by reference的效率要高些。这个忠告也适用于stl的迭代器和函数对象。因此它们习惯上被设计为pass by value。实践者有责任看看它们是否高效且不受分割问题的影响。


    请记住:
    (1)尽量以pass-by-reference-to-const替换pass-by-value.前者通常比較高效,并可避免分割问题(slicing  problem).;
    (2)以上规则并不适合与内置类型。以及STL的迭代器和函数对象。

    对它们而言,pass-by-value往往比較适合.。





  • 相关阅读:
    中缀表达式std
    后缀表达式
    取石头游戏
    LeetCode404Sum of Left Leaves左叶子之和
    LeetCode387First Unique Character in a String字符串中第一个唯一字符
    简单排列习题2.5 的 2
    周期串Uva455 P37 3-4
    【递归】分形
    【递归】普通递归关系(矩阵快速幂)
    P3486 [POI2009]KON-Ticket Inspector
  • 原文地址:https://www.cnblogs.com/lcchuguo/p/5029462.html
Copyright © 2011-2022 走看看