constexpr static functions

@sandye51 · Регистрация: 19.12.2010

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

Почему нижеприведенный код не работает на gcc 4.7.1.? собственно как и на clang

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
 
class C1 
{
public:
    static constexpr int foo(int x)
    { 
        return x + 1;
    }
    
    static constexpr int bar = foo(sizeof(int));
};
 
int main()
{
    std::cout << C1::bar << std::endl;
    return 0;
}

http://liveworkspace.org/code/... b64fefedd2
но такое работает на clang

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
 
class C1 
{
public:
    static constexpr int foo(int x)
    { 
        return x + 1;
    }
    
    static constexpr int bar;
};
 
constexpr int C1::bar = C1::foo(sizeof(int));
 
int main()
{
    std::cout << C1::bar << std::endl;
    return 0;
}

@DU · 17.07.2012, 17:41

C++
1
2
3
4
static constexpr int foo(int x)
{ 
   return x + 1;
}

такая функция вроде бы не может быть constexpr. Результат неизвестен во время компиляции. Можно подумать, что результат известен в случае, когда она вызывается с аргументом, который является константным выражением. А в остальных случаях не является. Боюсь, что если она не является константным выражением хотябы в одном из возможных случаев, то она не является константным выражением во всех. Компилятор не станет определять, в каком контексте ее позвали.

@sandye51 · 17.07.2012, 17:44 **[ТС]**

Если добавить const int, то это сути не меняет
http://liveworkspace.org/code/... 107ac91ff6
Ну и почему же тогда clang второй пример нормально скомпилировал?

http://liveworkspace.org/code/... eb6378c3aa
если заменит constexpr на const, то gcc тоже кушает

@DU · 17.07.2012, 17:59

наверно потому что clang - это не с++

вообще, я не знаю почему. не знаю что такое clang.
но в плюсах сделать так, как вы хотите можно, только с чуть большими усилиями.

если заменит constexpr на const, то gcc тоже кушает

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

Добавлено через 10 минут
хм. однако это говорит что я наглючил:
http://liveworkspace.org/code/... af401f4263

@sandye51 · 17.07.2012, 18:00 **[ТС]**

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

однако это говорит что я наглючил:

вот и я так подумал, ведь constexpr своего рода расширение const

@DU · 17.07.2012, 18:09

похоже что контекст вызова функции все таки имеет какое-то значение:
http://liveworkspace.org/code/... 5dd680b72f
вот если раскомментировать последние строчки, то не компилится уже.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .

@sandye51 программист С++ 860 / 600 / 147 Регистрация: 19.12.2010 Сообщений: 2,014
	17.07.2012, 17:44 [ТС]
	Если добавить const int, то это сути не меняет http://liveworkspace.org/code/... 107ac91ff6 Ну и почему же тогда clang второй пример нормально скомпилировал? http://liveworkspace.org/code/... eb6378c3aa если заменит constexpr на const, то gcc тоже кушает 0

@DU 1500 / 1146 / 165 Регистрация: 05.12.2011 Сообщений: 2,279
	17.07.2012, 18:09
	похоже что контекст вызова функции все таки имеет какое-то значение: http://liveworkspace.org/code/... 5dd680b72f вот если раскомментировать последние строчки, то не компилится уже. 0