С Новым годом! Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.72/25: Рейтинг темы: голосов - 25, средняя оценка - 4.72
6 / 6 / 3
Регистрация: 04.10.2014
Сообщений: 138

Explicit и его назначение

13.01.2015, 01:57. Показов 5192. Ответов 14
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Собственно, полазив по гуглу и по учебнику так и не понял всей сущности explicit.

Как я понял:

C++
1
2
3
4
5
6
7
class lessons {
    int intVar;
    bool boolVar;
public:
    lessons() {}
    explicit lessons(int iVar, bool bVar = true) : intVar(iVar), boolVar(bVar) {}
};
в данном случае explicit запретит такую инициализацию:
C++
1
lessons A = 15;
То бишь не будет вызван безымянный конструктор копирования:
C++
1
lessons A = lessons(15);
то бишь, не будет неявного преобразования в месте:
C++
1
lessons(15);
В этом и есть смысл explicit?
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
13.01.2015, 01:57
Ответы с готовыми решениями:

protected и его назначение
Не понятно назначение ключевого слова протектед, хотя пишут что он нужен для класса-потомка, только зачем? Вот код, растолкуйте на нём ,что...

Подробно разобрать приведенный код и его назначение в целом
Вот код:// считаем кол-во кластеров по количеству байт равных 0x80 while ( !feof(f) ) { c1 =...

Назначение Option Explicit
Объясните пожалуйста назначение Option Explicit!!!

14
Неэпический
 Аватар для Croessmah
18144 / 10728 / 2066
Регистрация: 27.09.2012
Сообщений: 27,026
Записей в блоге: 1
13.01.2015, 02:13
Из стандарта:
12.3.1 Conversion by constructor
1. A constructor declared without the function-specifier explicit specifies a conversion from the types of its parameters to the type of its class. Such a constructor is called a converting constructor.

2. An explicit constructor constructs objects just like non-explicit constructors, but does so only where the direct-initialization syntax (8.5) or where casts (5.2.9, 5.4) are explicitly used. A default constructor may be an explicit constructor; such a constructor will be used to perform default-initialization or value-initialization (8.5).

3. A non-explicit copy/move constructor (12.8) is a converting constructor. An implicitly-declared copy/move constructor is not an explicit constructor; it may be called for implicit type conversions.
0
6 / 6 / 3
Регистрация: 04.10.2014
Сообщений: 138
13.01.2015, 02:28  [ТС]
Croessmah, я понял, что он используется для запрета неявных преобразований. Вопрос в том, верен ли тот пример в топике темы?
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
13.01.2015, 03:10
Цитата Сообщение от semihal Посмотреть сообщение
В этом и есть смысл explicit?
да. Верно.
0
 Аватар для DiffEreD
1458 / 795 / 257
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
13.01.2015, 11:06
Цитата Сообщение от semihal Посмотреть сообщение
То бишь не будет вызван безымянный конструктор копирования
Конструктор копирования и без explicit не будет вызван:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
class lessons {
    int intVar;
    bool boolVar;
public:
    lessons() {puts(__PRETTY_FUNCTION__);}
    lessons(int iVar, bool bVar = true) :
       intVar(iVar), boolVar(bVar) {puts(__PRETTY_FUNCTION__);}
    lessons(const lessons &rhs) :
    intVar(rhs.intVar), boolVar(rhs.boolVar) {puts(__PRETTY_FUNCTION__);}
};
 
int main()
{
   lessons A = 15; // lesson::lessons(int, bool)
}
0
6 / 6 / 3
Регистрация: 04.10.2014
Сообщений: 138
13.01.2015, 13:26  [ТС]
DiffEreD, разве в таком случае не произойдёт неявное преобразование?
0
654 / 575 / 164
Регистрация: 13.12.2012
Сообщений: 2,124
13.01.2015, 13:30
суть неявного преобразования что будет создан временный объект(каким либо конструктором), а потому скопируется в создаваемый объект(ну или сразу создаст, без временного объекта)
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
13.01.2015, 13:54
Лучший ответ Сообщение было отмечено semihal как решение

Решение

Цитата Сообщение от DiffEreD Посмотреть сообщение
Конструктор копирования и без explicit не будет вызван:
"не будет вызван" не тоже самое, что "не должен вызываться".

http://rextester.com/CGTVQ93631

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
//Title of this code
//g++  4.8.2
 
#include <iostream>
using namespace std;
 
struct example
{
    example(int) { cout <<"ctor with patam\n"; }
private:
    example(const example&){ cout <<"copy\n"; }
    
};
 
int main()
{
    std::cout << "Hello, world!\n";
 
    // error: ‘example::example(const example&)’ is private    
    example e = 10;
    
}
Язык с++ считается языком "не строгой статической типизации".
Однако он не умеет присваивать теплое мягкому.

Поэтому, запись вида:
C++
1
example e = 10;
сначала будет приведена к виду:

C++
1
example e = example(10); //<--- explicit ctor
что эквивалентно:
C++
1
example e(example(10)); //<--- copy ctor(explicit ctor)
Поскольку конструктор копии приватный - имеем ошибку компиляции.
Если бы он не был приватным, тогда вот здесь компилятор обратил бы внимание,
что результат выражения:

C++
1
example e(example(10));
эквивалентно

C++
1
example e(10);
и оптимизирует.
После чего конструктор копии становится не наблюдаемым.

Это называется RVO оптимизация, узаконенная стандартом ещё в незапамятные времена.

--------

Резюмируя:

При проектировании своих классов программист должен учитывать две вещи:

1. Он должен понимать, что компилятор сначала проверяет синтаксис, и только потом оптимизирует.

2. Он не должен закладываться на то, что конструктор копии будет наблюдаемым.
(не нужно в конструктор копий закладывать важные сайд-эффекты).
3
13.01.2015, 13:59

Не по теме:

hoggy, тож подумал что это оптимизация, но не знал мат.части :)

0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
13.01.2015, 14:04
Цитата Сообщение от aLarman Посмотреть сообщение
hoggy, тож подумал что это оптимизация, но не знал мат.части

Не по теме:

почитайте про RVO/NRVO оптимизации.

0
6 / 6 / 3
Регистрация: 04.10.2014
Сообщений: 138
13.01.2015, 14:29  [ТС]
И последний вопрос, в каких случаях следует использовать explicit?

Цитата Сообщение от hoggy Посмотреть сообщение
почитайте про RVO/NRVO оптимизации.

Не по теме:

NRVO работает быстрее чем RVO?

0
:)
Эксперт С++
4773 / 3267 / 497
Регистрация: 19.02.2013
Сообщений: 9,046
13.01.2015, 14:32
Цитата Сообщение от semihal Посмотреть сообщение
в каких случаях следует использовать explicit?
Во всех случаях, когда не должно быть неявного преобразования.
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
13.01.2015, 14:33
Лучший ответ Сообщение было отмечено semihal как решение

Решение

Цитата Сообщение от semihal Посмотреть сообщение
И последний вопрос, в каких случаях следует использовать explicit?
когда необходимо запретить неявное приведение, очевидно жеж.

вот например:

http://rextester.com/YWKHU74133

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#include <iostream>
using namespace std;
 
 
struct foo {}; //<--- не умеет выводится в поток
 
struct bar  //<--- умеет выводится в поток
{
    template<class T> using Stream = ::std::basic_ostream<T>;
    
    template<class T> friend
        Stream<T>& operator<<(Stream<T>& os, const bar& obj ) { return os<<"bar"; }
    
    bar(){}
    bar(const foo&){} //<--- и может построится на основании foo, 
         //который не умеет выводится в поток
};
 
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    const foo f;
    const bar b;
    
    cout << b << endl;  //<--- здесь все нормально и предсказуемо
    
    
    cout << f << endl; //<--- а вот здесь лажа
    
    //компилятор гцц почему то считает, что раз foo не умеет выводиться в поток,
    //значит можно взять любую перегрузку, аргумент которой может построится из foo
    //и использовать её
    
    //по итогу получаем сюрприз: строительство временного объекта
    // и вывод в поток совершенно не того типа, который по смыслу нужно было выводить
    
}
ПРИМЕЧАНИЕ: компилятор cl (вижал студия) по другому ведет себя в аналогичной ситуации.
Он более умный, чем gcc, и такую откровенную лажу не скомпилирует.

Рассмотрим другой случай:

C++
1
2
3
4
5
6
7
8
9
10
11
void foo(const ::std::string& s)   //<--- принимает строку
{
    cout<< "text = "<<s<<endl; 
} 
 
...
 
foo("hello"); //<--- мы хотим вызвать foo, 
   // передав неизменяемый массив типа char, вместо строки
   // просто потому, что нам так удобно
   // и мы ожидаем, что компилятор самостоятельно выполнит приведение
То есть в отдельных случаях нам нужно, что бы компилятор выполнял для нас неявное приведение.
А в некоторых - мы хотим это запретить.

А поскольку компилятор не телепат,
значит ему нужно явно указать: чего мы от него хотим в конкретном случае.

explicit - самый простой способ, как этого добиться.
------------------------------------------------------------------

Способ без explicit:

Какая конструкция функции позволяет избежать приведение типа в аргументах? Шаблонная!

Но в шаблон можно подсунуть все что угодно, а нужно только один конкретный тип bar.

А это значит нужно порезать инстанс функции под все аргументы, которые не bar

А это значит - использовать sfinae

Итак, лекарство:

http://rextester.com/IBSMP65985

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
#include <iostream>
using namespace std;
 
struct bar;
 
template<class T,class U> struct only_bar;
 
template<class U> struct only_bar<bar,U>
{
    typedef ::std::basic_ostream<U> 
        ret; 
};
 
#define ONLY_FOR_BAR \
    typename only_bar<T,U>::ret&
    
 
struct foo {};
 
struct bar  
{
    template<class T> using Stream = ::std::basic_ostream<T>;
    
    template<class T,class U> friend
        ONLY_FOR_BAR
            operator<<(Stream<U>& os, const T& ) { return os<<"bar"; }
    
    bar(){}
    bar(const foo&){}
};
 
 
int main()
{
    std::cout << "Hello, world!\n";
    
    //const foo f;
    const bar b;
    
    cout << b << endl; 
    //cout << f << endl; 
}
------------------------------------------------

Резюмируя:
Очевидно, что варианты с шаблонами намного сложнее и замороченнее.
Не нужно усложнять себе жизнь без необходимости.

Там где это возможно лучше использовать explicit
0
:)
Эксперт С++
4773 / 3267 / 497
Регистрация: 19.02.2013
Сообщений: 9,046
13.01.2015, 14:36
Цитата Сообщение от hoggy Посмотреть сообщение
Это называется RVO оптимизация,
Называется это "copy elision" на самом деле. См. Стандарт: 12.8/31
... This elision of copy/move operations, called copy elision, is permitted in the following circumstances ...
В gcc можно отключить ключом: -fno-elide-constructors
1
6 / 6 / 3
Регистрация: 04.10.2014
Сообщений: 138
13.01.2015, 14:43  [ТС]
hoggy, спасибо большое за примеры и объяснение
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
13.01.2015, 14:43
Помогаю со студенческими работами здесь

32.Модуль в Паскале (Unit), его назначение, структура модуля, назначение и описание частей модуля
32.Модуль в Паскале (Unit), его назначение, структура модуля, назначение и описание частей модуля.

WDT и его назначение
Вот меня очень интересует Сторожевой таймер. А точнее интересует то, когда его необходимо применять (а может быть и не возможно без него...

MonoDevelop: каково его назначение
MonoDevelop не могу понять отказались от framework перешли на GTK# в чем преимущества ? возможность компилить на Linex ? ...

Разобрать код и определить его назначение
Всем привет! Читаю книгу по шарпу, прохожу тему рекурсии. В книге есть пример, который я не могу понять, а там сказано, что мы должны сами...

Что такое Rank и каково его назначение
Всем добрый день! Подскажите ответ на банальнейший вопросец: код считывает из текстового файла набор цифр и создает двумерный массив из...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
15
Ответ Создать тему
Новые блоги и статьи
Изучаю kubernetes
lagorue 13.01.2026
А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений.
anaschu 11.01.2026
https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11
Jel 10.01.2026
WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .
Classic Notepad for Windows 11
Jel 10.01.2026
Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает?
Neotwalker 09.01.2026
В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3
anaschu 06.01.2026
aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR
ФедосеевПавел 06.01.2026
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .
Модель микоризы: классовый агентный подход 2
anaschu 06.01.2026
репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru