VPF::[C++0x] функция генерация uid как constexpr

rudvil

Дата 29.4.2011, 15:24 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 155
Регистрация: 20.11.2009
Где: Latvia/Riga

Репутация: 2
Всего: 3

Реально ли функцию std::size_t uid() сделать как constexpr, чтобы приведенный ниже код заработал?
http://liveworkspace.org/code/a64a5b6a70e0...226de52e9393491

Код

#include <cstddef>
#include <iostream>

std::size_t uid() {
  static std::size_t id = 0;
  return ++id;
}

struct foo {
  static const std::size_t id1 = uid();
  static const std::size_t id2 = uid();
};

int main() {
  std::cout << foo::id1 << std::endl;
  std::cout << foo::id2 << std::endl;
  return 0;
}

Цитата(output)

source.cpp:10:38: error: 'std::size_t uid()' is not 'constexpr'
source.cpp:11:38: error: 'std::size_t uid()' is not 'constexpr'

Build finished with errors

Про enum'ы знаю, их можно не предлагать.
Пока что смог вот так извратиться, но все время писать эти макросы жутко не удобно
http://liveworkspace.org/code/957f17038912...2bcc6714c2fa5c8

Код

#include <cstddef>
#include <iostream>

#include <boost/preprocessor/slot/counter.hpp>

struct foo {
  static const std::size_t id1 = BOOST_PP_COUNTER;
#include BOOST_PP_UPDATE_COUNTER()
  static const std::size_t id2 = BOOST_PP_COUNTER;
};

int main() {
  std::cout << foo::id1 << std::endl;
  std::cout << foo::id2 << std::endl;
  std::cout << std::endl;
  return 0;
}

Цитата(output)

0
1

какие могут быть решения данной проблемы?

--------------------

xor

mes

Дата 29.4.2011, 17:10 (ссылка)

(голосов:3)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(rudvil @ 29.4.2011, 14:24

)

Реально ли функцию std::size_t uid() сделать как constexpr, чтобы приведенный ниже код заработал?

нет, constexpr функция не может иметь состояния..

--------------------

http://opendots.net

rudvil

Дата 29.4.2011, 22:00 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 155
Регистрация: 20.11.2009
Где: Latvia/Riga

Репутация: 2
Всего: 3

Цитата(mes @ 29.4.2011, 17:10)

Цитата(rudvil @ 29.4.2011, 14:24

)

Реально ли функцию std::size_t uid() сделать как constexpr, чтобы приведенный ниже код заработал?

нет, constexpr функция не может иметь состояния..

Понятно, спасибо.

--------------------

xor

boostcoder

Дата 29.4.2011, 22:09 (ссылка)

(голосов:1)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(rudvil @ 29.4.2011, 15:24

)

все время писать эти макросы жутко не удобно

есть еще встроенный макрос __COUNTER__

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

rudvil

Дата 29.4.2011, 23:55 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 155
Регистрация: 20.11.2009
Где: Latvia/Riga

Репутация: 2
Всего: 3

Цитата(boostcoder @ 29.4.2011, 22:09)

Цитата(rudvil @ 29.4.2011, 15:24

)

все время писать эти макросы жутко не удобно

есть еще встроенный макрос __COUNTER__

Спасибо, кажется наилучшее решение. smile

Это сообщение отредактировал(а) rudvil - 29.4.2011, 23:58

--------------------

xor

mes

Дата 30.4.2011, 09:20 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

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

--------------------

http://opendots.net

boostcoder

Дата 30.4.2011, 16:12 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(mes @ 30.4.2011, 09:20

)

недостаток в повторении значений в разных единицах трансляции

если, к примеру, не нужны последовательные значения, то __COUNTER__ можно комбинировать с __LINE__

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 30.4.2011, 16:18 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(boostcoder @ 30.4.2011, 15:12

)

то __COUNTER__ можно комбинировать с __LINE__

а разве это гарантирует уникальность ?

Добавлено через 1 минуту и 52 секунды
к тому же может привести к проблеме, когда из за добавления одной незначащий строчки, появиться неожидано непредвиденное поведение smile

--------------------

http://opendots.net

boostcoder

Дата 30.4.2011, 16:21 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(mes @ 30.4.2011, 16:18

)

а разве это гарантирует уникальность ?

нет, естественно smile

Добавлено @ 16:24

Цитата(mes @ 30.4.2011, 16:18

)

из за добавления одной незначащий строчки, появиться неожидано непредвиденное поведение

это да.

я когда-то пытался закодить что-то вроде этого.. мне нужен был компайл-тайм typeid. но только чтоб он не имена типов возвращал, а целые в качестве ID`ов. ну и забросил. вроде как на тот момент это мне казалось невозможным... была идея пропатчить компилятор smile

Это сообщение отредактировал(а) boostcoder - 30.4.2011, 16:25

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

borisbn

Дата 2.5.2011, 12:54 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Прошу прощения, что спрашиваю в чужой теме, но вопрос IMHO близкий...
А можно как-нибудь проверить в compile-time уникальность констант, но не через switch. Есть такой код

Код


template< unsigned long long ID >
struct MyStruct {
    static const unsigned long long id = ID;
...
};
typedef MyStruct< 0x123456789L > SomeStruct1;
typedef MyStruct< 0x123456789L > SomeStruct2; // вот тут хотелось бы получить ошибку

Если ТС будет против - создам отдельную тему.
Спасибо

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

boostcoder

Дата 2.5.2011, 13:10 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

borisbn, вроде как цели схожи: http://forum.vingrad.ru/forum/topic-319669.html

Добавлено через 1 минуту и 45 секунд
а вообще - нет, такое невозможно.
решение влоб - добавлять твои типы в некий mpl-контейнер с проверкой на предмет существования.

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 2.5.2011, 14:37 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(borisbn @ 2.5.2011, 11:54

)

typedef MyStruct< 0x123456789L > SomeStruct1;
typedef MyStruct< 0x123456789L > SomeStruct2; // вот тут хотелось бы получить ошибку

это _вдвойне_ невозможно, так как typedef не создает новый тип smile

--------------------

http://opendots.net

borisbn

Дата 2.5.2011, 15:57 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Цитата(boostcoder @ 2.5.2011, 13:10

)

а вообще - нет, такое невозможно.

Цитата(mes @ 2.5.2011, 14:37

)

это _вдвойне_ невозможно

_вдвойне_ жаль :(

Цитата(boostcoder @ 2.5.2011, 13:10

)

решение влоб - добавлять твои типы в некий mpl-контейнер с проверкой на предмет существования.

не очень понял (читай - вообще не понял), т.к. с mpl-контейнерами не работал. Можешь показать пример ? И ещё вопрос, __COUNTER__ исключительно gcc-шный, или в MSVC он тоже есть ?

mes, если не такой typedef, а какая-либо другая конструкция может дать compile-time ошибку при совпадении констант ?

Сейчас делаю совершенно дурацким способом - перед компиляцией сам парсю свой исохдник и проверяю константы на уникальность, но IMHO это не выход...

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

boostcoder

Дата 2.5.2011, 16:02 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(borisbn @ 2.5.2011, 15:57

)

И ещё вопрос, __COUNTER__ исключительно gcc-шный, или в MSVC он тоже есть ?

в MSVC тоже.

Цитата(borisbn @ 2.5.2011, 15:57

)

Можешь показать пример ?

чичас

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

mes

Дата 2.5.2011, 16:20 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(borisbn @ 2.5.2011, 14:57

)

если не такой typedef, а какая-либо другая конструкция может дать compile-time ошибку при совпадении констант ?

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

Это сообщение отредактировал(а) mes - 2.5.2011, 16:20

--------------------

http://opendots.net

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »