Constexpr конструктор

@rikimaru2013 · Регистрация: 30.11.2013

Author24 — интернет-сервис помощи студентам

Добрый день, что означает constexpt конструктор?

C++

class Foo
{
public:
    constexpr Foo() noexcept = default;
};
 
int main()
{
    Foo a;
    ( void )a;
}

Это означает, что компилятор может создать объект вовремя компиляции? Зачем мне объекты на этапе компиляции то?

@Peoples · 03.04.2017, 19:34

Мейерс обосновывает это так

@Peoples · 03.04.2017, 19:36

И ещё

@rikimaru2013 · 03.04.2017, 19:46 **[ТС]**

такое ощущение, что такие объекты расширяют бинарь до неузнаваемости

Croessmah · 03.04.2017, 20:05

Сообщение от rikimaru2013

Зачем мне объекты на этапе компиляции то?

Мы то откуда знаем зачем они Вам?

Ну раз не нужны, то не используйте.

@rikimaru2013 · 03.04.2017, 20:25 **[ТС]**

Сообщение от Croessmah

Ну раз не нужны, то не используйте.

Так вот как оно работает!

А про бинарь то верно? Все эти "числовые литералы" если будут переданы в не constexpr должны быть с билде и в большом проекте это много байт получиться)

MrGluck · 03.04.2017, 22:27

Чтобы создавать constexpr объекты. Но это как и constexpr функции - зависит от контекста вызова. То есть возможность создавать constexpr объекты не перекрывает возможность создавать не constexpr объекты.

notAll · 04.04.2017, 00:47

Сообщение от rikimaru2013

Так вот как оно работает!

Может работать на этапе компиляции:

C++

#include <iostream>
#include <array>
 
struct A
{
    constexpr explicit A(int v) : val(v) {}
    int val;
};
 
int main()
{
    constexpr A a(42);
    static_assert(a.val == 42, "");
 
    std::array<int, a.val> arr;
}

@tapochka · 04.04.2017, 01:37

Не по теме:

хм, а в комитете еще до constexpr new int[3] никто не додумался?

@Kastaneda · 04.04.2017, 08:35

Не по теме:

Сообщение от rikimaru2013

Так вот как оно работает!

половина С++ так работает :D

@rikimaru2013 · 04.04.2017, 10:28 **[ТС]**

Сообщение от tapochka

хм, а в комитете еще до constexpr new int[3] никто не додумался?

а как узнать на этапе компиляции номер адресса, который тебе даст ОС потом?

@Mirmik · 04.04.2017, 10:31

Ну, принципиальной проблемы тут нет. Сначала объекты вычисляются в абстракции, а потом уже размещаются... Почему бы и нет

.

@Kastaneda · 04.04.2017, 10:38

Сообщение от rikimaru2013

а как узнать на этапе компиляции номер адресса, который тебе даст ОС потом?

А как узнать адрес строки

C++

1	constexpr char* str = "Hello";

?

Croessmah · 04.04.2017, 10:49

Kastaneda, SSO - яркий пример.

@Kastaneda · 04.04.2017, 10:54

Сообщение от Croessmah

Kastaneda, SSO - яркий пример.

да не, я понимаю как это работает) не понял при чем тут SSO, на сколько я знаю, там все же char[], а не char*.

@tapochka · 05.04.2017, 20:15

Сообщение от rikimaru2013

а как узнать на этапе компиляции номер адресса, который тебе даст ОС потом?

да пес знает, я ж с сарказмом сказал, мало ли что им там в голову взбредет)
но для std::addressof уже что-то наклевывается http://stackoverflow.com/quest... ion-in-c17

@rat0r · 29.04.2018, 12:51

Не по теме:

Сообщение от tapochka

хм, а в комитете еще до constexpr new int[3] никто не додумался?

https://groups.google.com/a/is... MEJMXB-moJ

Croessmah Неэпический 17869 / 10634 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	04.04.2017, 10:49	14
	Kastaneda, SSO - яркий пример. 0

@tapochka 42 / 42 / 17 Регистрация: 25.04.2014 Сообщений: 499
	05.04.2017, 20:15	16
	Сообщение от rikimaru2013 а как узнать на этапе компиляции номер адресса, который тебе даст ОС потом? да пес знает, я ж с сарказмом сказал, мало ли что им там в голову взбредет) но для std::addressof уже что-то наклевывается http://stackoverflow.com/quest... ion-in-c17 0

@Peoples 1624 / 954 / 782 Регистрация: 06.02.2016 Сообщений: 2,452 Записей в блоге: 31
	03.04.2017, 19:34	2
	Мейерс обосновывает это так Миниатюры 1

@Peoples 1624 / 954 / 782 Регистрация: 06.02.2016 Сообщений: 2,452 Записей в блоге: 31
	03.04.2017, 19:36	3
	И ещё Миниатюры 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	03.04.2017, 19:46 [ТС]	4
	такое ощущение, что такие объекты расширяют бинарь до неузнаваемости 0

Croessmah Неэпический 17869 / 10634 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	03.04.2017, 20:05	5
	Сообщение от rikimaru2013 Зачем мне объекты на этапе компиляции то? Мы то откуда знаем зачем они Вам? Ну раз не нужны, то не используйте. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	03.04.2017, 20:25 [ТС]	6
	Сообщение от Croessmah Ну раз не нужны, то не используйте. Так вот как оно работает! А про бинарь то верно? Все эти "числовые литералы" если будут переданы в не constexpr должны быть с билде и в большом проекте это много байт получиться) 0

MrGluck Форумчанин 8215 / 5045 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	03.04.2017, 22:27	7
	Чтобы создавать constexpr объекты. Но это как и constexpr функции - зависит от контекста вызова. То есть возможность создавать constexpr объекты не перекрывает возможность создавать не constexpr объекты. 0

@tapochka
	04.04.2017, 01:37 #9
	Не по теме: хм, а в комитете еще до constexpr new int[3] никто не додумался? 0

@Kastaneda
	04.04.2017, 08:35 #10
	Не по теме: Сообщение от rikimaru2013 Так вот как оно работает! половина С++ так работает :D 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	04.04.2017, 10:28 [ТС]	11
	Сообщение от tapochka хм, а в комитете еще до constexpr new int[3] никто не додумался? а как узнать на этапе компиляции номер адресса, который тебе даст ОС потом? 0

@Mirmik techpriest 634 / 213 / 57 Регистрация: 27.02.2014 Сообщений: 1,180
	04.04.2017, 10:31	12
	Ну, принципиальной проблемы тут нет. Сначала объекты вычисляются в абстракции, а потом уже размещаются... Почему бы и нет . 0

Опции темы

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	04.04.2017, 10:54	15
	Сообщение от Croessmah Kastaneda, SSO - яркий пример. да не, я понимаю как это работает) не понял при чем тут SSO, на сколько я знаю, там все же char[], а не char*. 0

@rat0r
	29.04.2018, 12:51 Constexpr конструктор #17
	Не по теме: Сообщение от tapochka хм, а в комитете еще до constexpr new int[3] никто не додумался? https://groups.google.com/a/is... MEJMXB-moJ 0