genetic

C++ Core Guidelines: More Rules for Overloading

I started the last post on my journey through the rules for overloading functions and operators. Let me continue and finish my journey with this post.

 

genetic

First, here are all ten rules for functions and operators.

 

Our journey continues with rule C.164. That is quite an important rule.

 

Rainer D 6 P2 500x500Modernes C++ Mentoring

Be part of my mentoring programs:

  • "Fundamentals for C++ Professionals" (open)
  • "Design Patterns and Architectural Patterns with C++" (open)
  • "C++20: Get the Details" (open)
  • "Concurrency with Modern C++" (starts March 2024)
  • Do you want to stay informed: Subscribe.

     

    C.164: Avoid conversion operators

    If you want fun, overload the operator bool and make it not explicit. This means that type conversion from bool to int can happen.

    But I should be serious. Let me design a class MyHouse, which can be bought by a family; therefore, I decided to implement the operator bool to check if a family has bought the house efficiently.

     

    // implicitConversion.cpp
    
    #include <iostream>
    #include <string>
    
    
    struct MyHouse{
      MyHouse() = default;
      MyHouse(const std::string& fam): family(fam){}
    	
      operator bool(){ return not family.empty(); }               // (1)
      // explicit operator bool(){ return not family.empty(); }   // (2)
    	
      std::string family = "";
    };
    
    int main(){
    	
      std::cout << std::boolalpha << std::endl;
    	
      MyHouse firstHouse;
      if (not firstHouse){                                        // (3)
        std::cout << "firstHouse is already sold." << std::endl;
      };
    	
      MyHouse secondHouse("grimm");                               // (4)
      if (secondHouse){
        std::cout << "Grimm bought secondHouse." << std::endl;
      }
    	
      std::cout << std::endl;
    	
      int myNewHouse = firstHouse + secondHouse;                  // (5)
      auto myNewHouse2 = (20 * firstHouse - 10 * secondHouse) / secondHouse;
    
      std::cout << "myNewHouse: " << myNewHouse << std::endl;
      std::cout << "myNewHouse2: " << myNewHouse2 << std::endl;
    	
      std::cout << std::endl;
    }
    

     

    Now, I can quickly check with the operator bool (1) if a family (4) or no family (3) lives in the house. Fine. But due to the implicit operator bool, I can use my house in arithmetic expressions (5). That was not my intention.

     implicitConversion

    This is weird. Since C++11, you can make conversion operators explicit; therefore, no implicit conversion to int will kick in. I have to make the operator bool explicit (2), and adding houses is not possible anymore, but I can use a house in logical expressions. 

    Now, the compilation of the program fails.

    implicitConversionError

    C.165: Use using for customization points

    This rule is quite unique; therefore, I will make it short. There are about 50 overloads for std::swap available in the C++ standard. It’s pretty probable that you already implemented swap for your own type: C++ Core Guidelines: Comparison, Swap, and Hash.

     

    namespace N {
        My_type X { /* ... */ };
        void swap(X&, X&);   // optimized swap for N::X
        // ...
    }
    

     

    Because of argument-dependent lookup (see C.168), the compiler will find your swap implementation. Using the generic std::swap as a kind of fallback is a good idea. std::swap maybe not be optimized for your data type, but at least it works. You can achieve that by introducing the function std::swap.

    void f3(N::X& a, N::X& b)
    {
        using std::swap;   // make std::swap available
        swap(a, b);        // calls N::swap if it exists, otherwise std::swap
    }
    

     

    C.166: Overload unary & only as part of a system of smart pointers and references

    Honestly, this rule is way too special to write about in this post. If you want to create a proxy by overloading the unary operator &, you should know the consequences.

    C.167: Use an operator for an operation with its conventional meaning

    This rule is similar to rule C.160: Define operators primarily to mimic conventional usage. I referred to it in my last post: C++ Core Guidelines: Rules for Overloading and Overload Operators.

    This rule applies to a lot of operators.

    • <<, >>: input and output
    • ==, !=, <, <=, >, and >=: comparison
    • +, -, *, /, and %: arithmetic
    • ., ->, unary *, and []: access
    • =: assignment

    C.168: Define overloaded operators in the namespace of their operands

    ADL is a special property in C++, making our life as a programmer easier. ADL stands for argument-dependent lookup. Sometimes it is called Koenig lookup. It means that for unqualified function calls, the functions in the namespace of the function arguments are considered by the C++ runtime. For more details about ADL, read here: argument-dependent lookup.

    Only to remind you and give you a short example: because of ADL, the C++ runtime will find the right operator == in the namespace of the operands.

     

    namespace N {
        struct S { };
        bool operator==(S, S);   // OK: in the same namespace as S, and even next to S
    }
    
    N::S s;
    
    bool x = (s == s);  // finds N::operator==() by ADL
    

    C.170: If you feel like overloading a lambda, use a generic lambda

    This rule is relatively easy to get. You can not overload a lambda. With C++14, you can overcome this restriction by implementing a generic lambda.

    auto g = [](int) { /* ... */ };
    auto g = [](double) { /* ... */ };   // error: cannot overload lambdas
    
    auto h = [](auto) { /* ... */ };   // OK
    

     

    Maybe you know it. A lambda is just an instance of a class for which the call operator is overloaded, or to say in other words, a function object. In addition, a generic lambda is a function object with a templatized call operator. That’s all.

    What’s next?

    There are four rules for the particular class type union. I’m unsure if I will dedicate the next post to unions. Afterward, I’m done with classes and class hierarchies and will write about enumerations.

    I’m pretty happy that I made this post just in time because I had a lot of fascinating discussions about the future of C++ at the Meeting C++ in Berlin.

     

     

     

    Thanks a lot to my Patreon Supporters: Matt Braun, Roman Postanciuc, Tobias Zindl, G Prvulovic, Reinhold Dröge, Abernitzke, Frank Grimm, Sakib, Broeserl, António Pina, Sergey Agafyin, Андрей Бурмистров, Jake, GS, Lawton Shoemake, Jozo Leko, John Breland, Venkat Nandam, Jose Francisco, Douglas Tinkham, Kuchlong Kuchlong, Robert Blanch, Truels Wissneth, Kris Kafka, Mario Luoni, Friedrich Huber, lennonli, Pramod Tikare Muralidhara, Peter Ware, Daniel Hufschläger, Alessandro Pezzato, Bob Perry, Satish Vangipuram, Andi Ireland, Richard Ohnemus, Michael Dunsky, Leo Goodstadt, John Wiederhirn, Yacob Cohen-Arazi, Florian Tischler, Robin Furness, Michael Young, Holger Detering, Bernd Mühlhaus, Stephen Kelley, Kyle Dean, Tusar Palauri, Dmitry Farberov, Juan Dent, George Liao, Daniel Ceperley, Jon T Hess, Stephen Totten, Wolfgang Fütterer, Matthias Grün, Phillip Diekmann, Ben Atakora, Ann Shatoff, Rob North, Bhavith C Achar, Marco Parri Empoli, moon, Philipp Lenk, Hobsbawm, and Charles-Jianye Chen.

    Thanks, in particular, to Jon Hess, Lakshman, Christian Wittenhorst, Sherhy Pyton, Dendi Suhubdy, Sudhakar Belagurusamy, Richard Sargeant, Rusty Fleming, John Nebel, Mipko, Alicja Kaminska, Slavko Radman, and David Poole.

    My special thanks to Embarcadero
    My special thanks to PVS-Studio
    My special thanks to Tipi.build 
    My special thanks to Take Up Code
    My special thanks to SHAVEDYAKS

    Seminars

    I’m happy to give online seminars or face-to-face seminars worldwide. Please call me if you have any questions.

    Standard Seminars (English/German)

    Here is a compilation of my standard seminars. These seminars are only meant to give you a first orientation.

    • C++ – The Core Language
    • C++ – The Standard Library
    • C++ – Compact
    • C++11 and C++14
    • Concurrency with Modern C++
    • Design Pattern and Architectural Pattern with C++
    • Embedded Programming with Modern C++
    • Generic Programming (Templates) with C++
    • Clean Code with Modern C++
    • C++20

    Online Seminars (German)

    Contact Me

    Modernes C++ Mentoring,

     

     

    0 replies

    Leave a Reply

    Want to join the discussion?
    Feel free to contribute!

    Leave a Reply

    Your email address will not be published. Required fields are marked *