Форум программистов, компьютерный форум CyberForum.ru

constexpr static functions - C++

Восстановить пароль Регистрация
 
sandye51
программист С++
 Аватар для sandye51
677 / 579 / 39
Регистрация: 19.12.2010
Сообщений: 2,016
17.07.2012, 16:43     constexpr static functions #1
Почему нижеприведенный код не работает на 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/326d12...4bf7b64fefedd2
но такое работает на 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
1477 / 1053 / 45
Регистрация: 05.12.2011
Сообщений: 2,279
17.07.2012, 17:41     constexpr static functions #2
C++
1
2
3
4
static constexpr int foo(int x)
{ 
   return x + 1;
}
такая функция вроде бы не может быть constexpr. Результат неизвестен во время компиляции. Можно подумать, что результат известен в случае, когда она вызывается с аргументом, который является константным выражением. А в остальных случаях не является. Боюсь, что если она не является константным выражением хотябы в одном из возможных случаев, то она не является константным выражением во всех. Компилятор не станет определять, в каком контексте ее позвали.
sandye51
программист С++
 Аватар для sandye51
677 / 579 / 39
Регистрация: 19.12.2010
Сообщений: 2,016
17.07.2012, 17:44  [ТС]     constexpr static functions #3
Если добавить const int, то это сути не меняет
http://liveworkspace.org/code/5eaa92...a29d107ac91ff6
Ну и почему же тогда clang второй пример нормально скомпилировал?

http://liveworkspace.org/code/b9764c...0e50eb6378c3aa
если заменит constexpr на const, то gcc тоже кушает
DU
1477 / 1053 / 45
Регистрация: 05.12.2011
Сообщений: 2,279
17.07.2012, 17:59     constexpr static functions #4
наверно потому что clang - это не с++
вообще, я не знаю почему. не знаю что такое clang.
но в плюсах сделать так, как вы хотите можно, только с чуть большими усилиями.

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

Добавлено через 10 минут
хм. однако это говорит что я наглючил:
http://liveworkspace.org/code/daec5b...b2ebaf401f4263
sandye51
программист С++
 Аватар для sandye51
677 / 579 / 39
Регистрация: 19.12.2010
Сообщений: 2,016
17.07.2012, 18:00  [ТС]     constexpr static functions #5
Цитата Сообщение от DU Посмотреть сообщение
однако это говорит что я наглючил:
вот и я так подумал, ведь constexpr своего рода расширение const
DU
1477 / 1053 / 45
Регистрация: 05.12.2011
Сообщений: 2,279
17.07.2012, 18:09     constexpr static functions #6
похоже что контекст вызова функции все таки имеет какое-то значение:
http://liveworkspace.org/code/65f07a...35cb5dd680b72f
вот если раскомментировать последние строчки, то не компилится уже.
Yandex
Объявления
17.07.2012, 18:09     constexpr static functions
Ответ Создать тему
Опции темы

Текущее время: 13:58. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru