6 Basic concepts [basic]

A declaration может ввести одно или несколько имен в единицу перевода или повторно объявить имена, введенные предыдущими объявлениями. Если это так, в объявлении указываются интерпретация и атрибуты этих имен. Объявление также может иметь следующие последствия:

• (1.1)

  а static assertion,

• (1.2)

  управления template instantiation,

• (1.3)

  вывод аргументов руководящего шаблона для конструкторов ([temp.deduct.guide]),

• (1.4)

  использование attributesи

• (1.5)

  ничего (в случае с empty-declaration).

Декларация - это definition если

• (2.1)

  он объявляет функцию без указания тела функции ([dcl.fct.def]),

• (2.2)

  он содержит extern спецификатор или linkage-specification26 а, но не содержит initializerни а function-body,

• (2.3)

  он объявляет не встроенный статический член данных в определении класса ([class.mem], [class.static]),

• (2.4)

  он объявляет статический член данных вне определения класса, и переменная была определена внутри класса с помощью constexpr спецификатора (такое использование устарело; см. [depr.static_constexpr]),

• (2.5)

  это class name декларация,

• (2.6)

  это , opaque-enum-declaration

• (2.7)

  это , template-parameter

• (2.8)

  это в деклараторе функции, который не является , parameter-declarationdeclaratorfunction-definition

• (2.9)

  это typedef декларация,

• (2.10)

  это alias-declaration([dcl.typedef]),

• (2.11)

  это using-declaration,

• (2.12)

  это deduction-guide,

• (2.13)

  это static_assert-declaration,

• (2.14)

  это attribute-declaration,

• (2.15)

  это empty-declaration,

• (2.16)

  это using-directive,

• (2.17)

  это explicit instantiation декларация, или

• (2.18)

  это explicit specialization чья declarationне является определением.

[  Example: Все, кроме одного из следующих определений:

int a;                          // defines a
extern const int c = 1;         // defines c
int f(int x) { return x+a; }    // defines f and defines x
struct S { int a; int b; };     // defines S, S​::​a, and S​::​b
struct X {                      // defines X
  int x;                        // defines non-static data member x
  static int y;                 // declares static data member y
  X(): x(0) { }                 // defines a constructor of X
};
int X::y = 1;                   // defines X​::​y
enum { up, down };              // defines up and down
namespace N { int d; }          // defines N and N​::​d
namespace N1 = N;               // defines N1
X anX;                          // defines anX

тогда как это просто объявления:

extern int a;                   // declares a
extern const int c;             // declares c
int f(int);                     // declares f
struct S;                       // declares S
typedef int Int;                // declares Int
extern X anotherX;              // declares anotherX
using N::d;                     // declares d

 — end example ]

[ В некоторых случаях реализации C ++ неявно определяют , , , , , или функции - члены. ] [ Учитывая Note: default constructorcopy constructormove constructorcopy assignment operatormove assignment operator destructor  — end note  Example:

#include <string>

struct C {
  std::string s;    // std​::​string is the standard library class (Clause [strings])
};

int main() {
  C a;
  C b = a;
  b = a;
}

реализация будет неявно определять функции, чтобы сделать определение C эквивалентным

struct C {
  std::string s;
  C() : s() { }
  C(const C& x): s(x.s) { }
  C(C&& x): s(static_cast<std::string&&>(x.s)) { }
    // : s(std​::​move(x.s)) { }
  C& operator=(const C& x) { s = x.s; return *this; }
  C& operator=(C&& x) { s = static_cast<std::string&&>(x.s); return *this; }
    // { s = std​::​move(x.s); return *this; }
  ~C() { }
};

 — end example ]

[  Note: Имя класса также может быть неявно объявлено с помощью elaborated-type-specifier. ] — end note 

Программа плохо сформирована, если определение любого объекта дает объекту значение incomplete type.