How do inline variables work?

by

The first sentence of the proposal:

” The ​inline specifier can be applied to variables as well as to functions.

The ¹guaranteed effect of inline as applied to a function, is to allow the function to be defined identically, with external linkage, in multiple translation units. For the in-practice that means defining the function in a header, that can be included in multiple translation units. The proposal extends this possibility to variables.

So, in practical terms the (now accepted) proposal allows you to use the inline keyword to define an external linkage const namespace scope variable, or any static class data member, in a header file, so that the multiple definitions that result when that header is included in multiple translation units are OK with the linker – it just chooses one of them.

Up until and including C++14 the internal machinery for this has been there, in order to support static variables in class templates, but there was no convenient way to use that machinery. One had to resort to tricks like

template< class Dummy >
struct Kath_
{
    static std::string const hi;
};

template< class Dummy >
std::string const Kath_<Dummy>::hi = "Zzzzz...";

using Kath = Kath_<void>;    // Allows you to write `Kath::hi`.

From C++17 and onwards I believe one can write just

struct Kath
{
    static std::string const hi;
};

inline std::string const Kath::hi = "Zzzzz...";    // Simpler!

… in a header file.

The proposal includes the wording

” ​An inline static data member can be defined in the class definition and may s‌​pecify a ​brace­-or­-equal­-initializer. If the member is declared with the constexpr specifier, it may be redeclared in namespace scope with no initializer (this usage is deprecated; see‌​ D.X). Declarations of other static data members shall not specify a ​brace­-or­-equal­-in‌​itializer

… which allows the above to be further simplified to just

struct Kath
{
    static inline std::string const hi = "Zzzzz...";    // Simplest!
};

… as noted by T.C in a comment to this answer.

Also, the ​constexpr​ specifier implies  inline for static data members as well as functions.


Notes:
¹ For a function inline also has a hinting effect about optimization, that the compiler should prefer to replace calls of this function with direct substitution of the function’s machine code. This hinting can be ignored.

More Related Contents:

  1. what is the concept of evaluation of expression z = (y = 30) + (y = 10) + (y = 20); [closed]
  2. What are Aggregates and PODs and how/why are they special?
  3. What are the new features in C++17?
  4. Deprecated header replacement
  5. Understanding std::hardware_destructive_interference_size and std::hardware_constructive_interference_size
  6. Is stateful metaprogramming ill-formed (yet)?
  7. What is string_view?
  8. std::lock_guard or std::scoped_lock?
  9. C++17 class template partial deduction
  10. Lambda implicit capture fails with variable declared from structured binding
  11. constexpr static member before/after C++17
  12. Try to understand compiler error message: default member initializer required before the end of its enclosing class
  13. structured bindings: when something looks like a reference and behaves similarly to a reference, but it’s not a reference
  14. polymorphic_allocator: when and why should I use it?
  15. Self-initialization of a static constexpr variable, is it well-formed?
  16. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  17. Pointer interconvertibility vs having the same address
  18. Multiple SFINAE class template specialisations using void_t
  19. Why void_t doesnt work in SFINAE but enable_if does
  20. How to enable C++17 support in VSCode C++ Extension
  21. “constexpr if” vs “if” with optimizations – why is “constexpr” needed?
  22. What are use cases for structured bindings?
  23. How similar are Boost.Filesystem and the C++ standard filesystem library?
  24. How to enable /std:c++17 in VS2017 with CMake
  25. Undefined reference error for static constexpr member
  26. What are the differences between std::variant and boost::variant?
  27. What changes to C++ made copy initialization work for class with explicit constructor?
  28. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  29. Check if a type is passed in variadic template parameter pack
  30. ‘std::filesystem’ has not been declared after including

Leave a Comment