book

Effective Modern C++

by Scott Meyers

November 2014

Intermediate to advanced

336 pages

9h 37m

English

O'Reilly Media, Inc.

Read now

Unlock full access

Using Code ExamplesSafari® Books OnlineHow to Contact Us
Terminology and ConventionsReporting Bugs and Suggesting Improvements
Item 1: Understand template type deduction.Case 1: ParamType is a Reference or Pointer, but not a Universal ReferenceCase 2: ParamType is a Universal ReferenceCase 3: ParamType is Neither a Pointer nor a ReferenceArray ArgumentsFunction ArgumentsItem 2: Understand auto type deduction.Item 3: Understand decltype.Item 4: Know how to view deduced types.IDE EditorsCompiler DiagnosticsRuntime Output
Item 5: Prefer auto to explicit type declarations.Item 6: Use the explicitly typed initializer idiom when auto deduces undesired types.
Item 7: Distinguish between () and {} when creating objects.Item 8: Prefer nullptr to 0 and NULL.Item 9: Prefer alias declarations to typedefs.Item 10: Prefer scoped enums to unscoped enums.Item 11: Prefer deleted functions to private undefined ones.Item 12: Declare overriding functions override.Item 13: Prefer const_iterators to iterators.Item 14: Declare functions noexcept if they won’t emit exceptions.Item 15: Use constexpr whenever possible.Item 16: Make const member functions thread safe.Item 17: Understand special member function generation.
Item 18: Use std::unique_ptr for exclusive-ownership resource management.Item 19: Use std::shared_ptr for shared-ownership resource management.Item 20: Use std::weak_ptr for std::shared_ptr-like pointers that can dangle.Item 21: Prefer std::make_unique and std::make_shared to direct use of new.Item 22: When using the Pimpl Idiom, define special member functions in the implementation file.
Item 23: Understand std::move and std::forward.Item 24: Distinguish universal references from rvalue references.Item 25: Use std::move on rvalue references, std::forward on universal references.Item 26: Avoid overloading on universal references.Item 27: Familiarize yourself with alternatives to overloading on universal references.Abandon overloadingPass by const T&Pass by valueUse Tag dispatchConstraining templates that take universal referencesTrade-offsItem 28: Understand reference collapsing.Item 29: Assume that move operations are not present, not cheap, and not used.Item 30: Familiarize yourself with perfect forwarding failure cases.Braced initializers0 or NULL as null pointersDeclaration-only integral static const and constexpr data membersOverloaded function names and template namesBitfieldsUpshot
Item 31: Avoid default capture modes.Item 32: Use init capture to move objects into closures.Item 33: Use decltype on auto&& parameters to std::forward them.Item 34: Prefer lambdas to std::bind.

Item 35: Prefer task-based programming to thread-based.Item 36: Specify std::launch::async if asynchronicity is essential.Item 37: Make std::threads unjoinable on all paths.Item 38: Be aware of varying thread handle destructor behavior.Item 39: Consider void futures for one-shot event communication.Item 40: Use std::atomic for concurrency, volatile for special memory.
Item 41: Consider pass by value for copyable parameters that are cheap to move and always copied.Item 42: Consider emplacement instead of insertion.

Content preview from Effective Modern C++

Chapter 3. Moving to Modern C++

When it comes to big-name features, C++11 and C++14 have a lot to boast of. auto, smart pointers, move semantics, lambdas, concurrency—each is so important, I devote a chapter to it. It’s essential to master those features, but becoming an effective modern C++ programmer requires a series of smaller steps, too. Each step answers specific questions that arise during the journey from C++98 to modern C++. When should you use braces instead of parentheses for object creation? Why are alias declarations better than typedefs? How does constexpr differ from const? What’s the relationship between const member functions and thread safety? The list goes on and on. And one by one, this chapter provides the answers.

Item 7: Distinguish between `()` and `{}` when creating objects.

Depending on your perspective, syntax choices for object initialization in C++11 embody either an embarrassment of riches or a confusing mess. As a general rule, initialization values may be specified with parentheses, an equals sign, or braces:

int x(0);             // initializer is in parentheses

int y = 0;            // initializer follows "="

int z{ 0 };           // initializer is in braces

In many cases, it’s also possible to use an equals sign and braces together:

int z = { 0 };        // initializer uses "=" and braces

For the remainder of this Item, I’ll generally ignore the equals-sign-plus-braces syntax, because C++ usually treats it the same as the braces-only version.

The “confusing mess” lobby points out that ...