C++14: вычисления на этапе компиляции

@[progeR] · Регистрация: 20.08.2011

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

Добрый день.
Есть такой код:

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
struct Qaz
{
    constexpr Qaz(uint8_t index) : _index(index) {}
 
private:
    uint8_t _index;
 
};
 
 
struct Qwerty
{
    constexpr Qwerty() = default;
 
    constexpr Qaz createQaz()
    {
        return Qaz(_globalId++);
    }
 
private:
    uint8_t _globalId = 0;
 
};
 
int main()
{
    constexpr Qwerty qwerty;
    constexpr Qaz qaz = qwerty.createQaz();
}

При компиляции на C++14 вылезают ошибки:

Code
1
2
3
4
In member function 'constexpr Qaz Qwerty::createQaz() const': 
21:26: error: increment of member 'Qwerty::_globalId' in read-only object 
22:5: error: expression '(((const Qwerty*)this)->Qwerty::_globalId++)' is not a constant-expression In function 'int main()':
31:42: error: 'constexpr Qaz Qwerty::createQaz() const' called in a constant expression

Ц++ версии 14 всё еще не умеет производить вычисления на этапе компиляции как D?
Хотелось бы реализовать шаблон "фабрика".
Или же тут как-то по-другому делать надо?

C++17 к сожалению не могу использовать.

@hoggy · 05.06.2018, 11:25

Сообщение от [progeR]

Ц++ версии 14 всё еще не умеет производить вычисления на этапе компиляции как D?

умеет. однако, вы объявили константу времени компиляции,
а затем пытаетесь её модифицировать:

Сообщение от [progeR]

error: increment of member 'Qwerty::_globalId' in read-only object

считаете, это - нормально?

http://rextester.com/RUW4241

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
#include <cstdint>
 
struct Qaz
{
    constexpr Qaz(uint8_t index) : _index(index) {}
 
private:
    uint8_t _index;
 
};
 
 
struct Qwerty
{
    constexpr Qwerty() = default;
 
    constexpr Qaz createQaz() const noexcept
    {
        // --- все компалтайм высичления - костанты.
        // --- это значит, нельзя меня значение 
        // --- уже существующей константы
        return Qaz( static_cast<uint8_t>(_globalId + 1) );
    }
 
private:
    uint8_t _globalId = 0;  
};
 
int main()
{
    constexpr Qwerty qwerty;
    constexpr Qaz qaz = qwerty.createQaz();
    (void)qaz;
}

Не по теме:

справедливости ради, стоит заметить,
в крестах действительно есть возможность производить вычисления времени компиляции,
с использованием переменного состояния.
то бишь одна и так же функция, с одними и теми же входными параметрами,
времени компиляции может возвращать различные значения.

@[progeR] · 05.06.2018, 21:48 **[ТС]**

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

считаете, это - нормально?

В D это нормально.

Ваш пример хорош, но член _globalId не изменяет значение, т.е. счетчик не работает. А мне нужно было именно, чтобы значение менялось, т.к. объектов Qaz может быть несколько.

@hoggy · 05.06.2018, 23:26

Сообщение от [progeR]

В D это нормально.

менять константу?
что за бред?
не специалист по Ди, но как то мне это сомнительно.

Сообщение от [progeR]

счетчик не работает.

счетчик времени компиляции:

http://rextester.com/YGYX44544

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
#include <iostream>
 
template<int N> struct flag
{
  friend constexpr int adl_flag(flag<N>);
};
 
template<int N> struct writer
{
  friend constexpr int adl_flag(flag<N>)  { return N; }
  static constexpr int value = N;
};
 
template<int N, int = adl_flag(flag<N>()),  int R = reader(N, flag<N + 1>())>
int constexpr reader(int, flag<N>)   { return R; }
 
template<int N>
int constexpr reader(float, flag<N>) { return N; }
 
template<int N = reader(0, flag<0>()), typename C = writer<N>>
constexpr int next() { return C::value; }
 
int main()
{
  
  constexpr int v1 = next();
  constexpr int v2 = next();
  constexpr int v3 = next();
  constexpr int v4 = next();
 
  std::cout << v1 << " " << v2 << " " << v3 << " " << v4 << std::endl;
}

обратите внимание:
комплатайм-вычисление функции next()
каждый раз возвращает значение на 1 больше.

достигается это не за счет модификации значения константы
(это какой то бред. какая же она тогда константа, если изменяемая?),
а за счет инстанцирования нового шаблона,
с константным значением на 1 больше.

@Undisputed · 05.06.2018, 23:31

[progeR],
Так это же константа, поэтому при использовании инкремента возникают проблемы.
Ок, допустим компилятор может это дело разрулить, посчитать значение на этапе компиляциин и сформировать нужные вам значения, но что дальше?
В С++ constexpr функции так же могут быть вызваны в рантайме, и как, по вашему, должен работать такой код во время выполнения?

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход 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 считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	05.06.2018, 23:31
	[progeR], Так это же константа, поэтому при использовании инкремента возникают проблемы. Ок, допустим компилятор может это дело разрулить, посчитать значение на этапе компиляциин и сформировать нужные вам значения, но что дальше? В С++ constexpr функции так же могут быть вызваны в рантайме, и как, по вашему, должен работать такой код во время выполнения? 0