`explicit` спецификатор

Синтаксис

`explicit`	(1)
`explicit (` выражение `)`	(2)	(с C++20)

выражение - контекстно преобразованное константное выражение типа bool

1) Указывает, что конструктор или функция преобразования(с C++11)или руководство по выводу(с C++17) является явным, то есть не может использоваться для неявных преобразований и копирующей инициализации.

2) Спецификатор explicit может быть использован с константным выражением. Функция является явной тогда и только тогда, когда это константное выражение вычисляется в true. (с C++20)

Спецификатор explicit может появляться только в decl-specifier-seq объявления конструктора или функции преобразования(с C++11) в определении класса.

Примечания

Конструктор с единственным не по умолчанию параметром(до C++11) который объявлен без спецификатора функции explicit называется конвертирующим конструктором.

Как конструкторы (кроме копирующего/перемещающего), так и пользовательские функции преобразования могут быть шаблонными функциями; значение explicit не изменяется.

Токен ( который следует за explicit анализируется как часть спецификатора explicit:

struct S
{
    explicit (S)(const S&);    // error in C++20, OK in C++17
    explicit (operator int)(); // error in C++20, OK in C++17
};

(с C++20)

Макрос проверки возможностей	Значение	Std	Функция
`__cpp_conditional_explicit`	201806L	(C++20)	`explicit(bool)`

Пример

struct A
{
    A(int) { }      // converting constructor
    A(int, int) { } // converting constructor (C++11)
    operator bool() const { return true; }
};
 
struct B
{
    explicit B(int) { }
    explicit B(int, int) { }
    explicit operator bool() const { return true; }
};
 
int main()
{
    A a1 = 1;      // OK: copy-initialization selects A::A(int)
    A a2(2);       // OK: direct-initialization selects A::A(int)
    A a3 {4, 5};   // OK: direct-list-initialization selects A::A(int, int)
    A a4 = {4, 5}; // OK: copy-list-initialization selects A::A(int, int)
    A a5 = (A)1;   // OK: explicit cast performs static_cast
    if (a1) { }    // OK: A::operator bool()
    bool na1 = a1; // OK: copy-initialization selects A::operator bool()
    bool na2 = static_cast<bool>(a1); // OK: static_cast performs direct-initialization
 
//  B b1 = 1;      // error: copy-initialization does not consider B::B(int)
    B b2(2);       // OK: direct-initialization selects B::B(int)
    B b3 {4, 5};   // OK: direct-list-initialization selects B::B(int, int)
//  B b4 = {4, 5}; // error: copy-list-initialization does not consider B::B(int, int)
    B b5 = (B)1;   // OK: explicit cast performs static_cast
    if (b2) { }    // OK: B::operator bool()
//  bool nb1 = b2; // error: copy-initialization does not consider B::operator bool()
    bool nb2 = static_cast<bool>(b2); // OK: static_cast performs direct-initialization
 
    [](...){}(a4, a5, na1, na2, b5, nb2); // may suppress "unused variable" warnings
}

См. также

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/language/explicit

explicit спецификатор

Синтаксис

Примечания

Пример

См. также

`explicit` спецификатор