c++ , constexpr

Вроде, никак. Только макросами.

>как сейчас побороть компилятор ?

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

enum Type{Type1,Type2};

template<enum Type>
struct Foo
{
};


struct gettype
{
  const static Type value = Type1;
};

const Type t = gettype::value;

Foo<t> foo;

>если непонятно, могу написать и код

в общих чертах пожалуйста :-)

>struct gettype
>{
> const static Type value = Type1;
>};

Мне именно возвращаемое значение функции

>в общих чертах пожалуйста :-)

подумал и понял, что не помню как я это делал. вот, в любом случае, моя дискуссия на c.l.c++ в процессе решения подобной задачи:

http://groups.google.com/group/comp.lang.c++/browse_thread/thread/13826307733...

а код до завтра постараюсь всё же наваять

Это к тому, что шаблон - это функция времени компиляции, а нешаблонный тип - нульарная функция. Наверно, я неправильно понял.

Сатанинская тема

http://www.uploadgeek.com/share-6B63_49EDDCCA.html

Видимо без макросов не разобраться ...

>Видимо без макросов не разобраться ...

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