ODR (One Definition Rule - )

, , , . , :

• :

int f(int); // ,    f

• extern (, extern "C") :

extern const int a; // ,    a
extern const int b = 1; //  b

• ( C++17) :

struct S
{
    int n;               //  S::n
    static int i;        // ,    S::i
    inline static int x; //  S::x
};                       //  S
int S::i;                //  S::i

struct S
{
    static constexpr int x = 42; //  ,  S::x
};
constexpr int S::x; //  S::x,   

• ( ):

struct S; // ,    S
class Y f(class T p); // ,    Y  T (  f  p)

enum Color : int; // ,    Color

• :

template<typename T> // ,    T

• , :

int f(int x); // ,    f  x
int f(int x)
{ //  f  x
     return x+a;
}

• typedef :

typedef S S2; // ,    S2 (S   )

using S2 = S; // ,    S2 (S   )

• using-:

using N::d; // ,    d

• ( ).
• using- ( ).

extern template f<int, char>; // ,    f<int, char>

• , :

template<> struct A<int>; // ,    A<int>

asm , .

, , , , .

, .

, , , , ( C++20) ( , ).

, odr ( ), ( ) . , , , .

( C++17), , odr.

, , .

: , , , ( C++17), ( , ), :

• ( )
• ( ), ,

• , ODR .

• , , , ( , )
• (, extern "C")
• const - ,
• ,
• , , odr,

• , , .

, , . , .

: C ODR , extern , . C++ , , , : .cpp struct S { int x; };, .cpp struct S { int y; };, , , . .

ODR

,

• odr, ( ) , ,
• odr, , , ,
• odr, .

, odr, - ; .

struct S
{
    static const int x = 0; //   
    //    ,    odr
};

const int& f(const int& r);

int n = b ? (1, S::x) // S::x    odr
          : f(S::x);  // S::x   odr:  

,

struct S
{ 
    static const int x = 1;
}; //   lvalue--rvalue  S::x
                                      //   
int f()
{ 
    S::x;        //      odr  S::x
    return S::x; // ,     lvalue--rvalue,
                 //   odr  S::x
}

E (, ) -, E, :

• E, , E .
• E (E1[E2]), , .
• E E1.E2 E1. E2, , E1 .
• E , , , .
• E E1.*E2 E1.* E2, , E1 .
• E, ((E1)), E1 .
• E glvalue (E1?E2:E3, E2 E3 glvalue), E2 E3 .
• E (E1,E2), E2 .
• .

struct S
{
  static const int a = 1;
  static const int b = 2;
};
int f(bool x)
{
  return x ? S::a : S::b;
  // x    "x" (  ?),
  //    lvalue--rvalue,    
  //  x    ,  x  odr
  // S::a  S::b   lvalue,    " "
  //    glvalue
  //      lvalue--rvalue,  
  //    ,  S::a  S::b    odr
}

:

• , ( , , , operator new, ), , , , - .
• new .
• delete, .
• , , , . prvalue , . ( C++17)

, odr , .

C++: