[C++]Ограничить шаблон встроенными типами.

>Нужно чтобы шаблонный оператор работал только со встренными типами(int, float, int* и т.д). Если пользовательский тип не был специализирован, то при попытке конкретизации должна быть ошибка компиляции.

Что-то типа Loki::TypeTraits<T>::isAtomic

>Что-то типа Loki::TypeTraits<T>::isAtomic
Что-то я там не найду такого. ver 0.1.7

>>Что-то типа Loki::TypeTraits<T>::isAtomic

Что-то я там не найду такого. ver 0.1.7

isFundamental тогда

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

>понаделайте полных шаблонных спецификаций для встроенных типов

Именно так Loki и устроен - перебор всех вариантов десятками килобайт. ОбобщенностьЪ.

То есть делаем шаблон isFundamental который возвращает false, затем специализируем всем встроенными типами с возвратом true? Идея ясна, только ещё ошибку нужно прикрутить, полагаю вызов функции в теле которой абракадабра подойдёт. Но как лучше сделать?

может, в теле функции:

int dummy[isFundamental< T > ? 1 : -1];

А зачем?

Что это даст? Мне нужно сгенерить ошибку компиляции и желательно повнятней.

Мне нужно сгенерить ошибку компиляции и желательно повнятней.

Извращения с шаблонами в C++ и внятные ошибки компиляции - это взаимоисключающие параграфы. Хорошо если сообщение об ошибке влазит в один экран... =)

http://www.boost.org/doc/libs/1_41_0/libs/type_traits/doc/html/index.html

Знаю что в бусте есть почти всё что надо, но в данном проекте он не применим, как и Loki. Приходится велосипедировать.

Use boost's enable_if with type_traits, Luke!

Ну тогда что-то типа:

template <class T> struct Foo {};
struct Foo<int> { static void isFundamental() {} };
struct Foo<char> { static void isFundamental() {} };
struct Foo<void *> { static void isFundamental() {} };
struct Foo<float> { static void isFundamental() {} };
/* И т.п. для всех "разрешённых типов". */

/* Далее в классе, типы для шаблона которого нужно фильтровать: */
template <class T> class Boo
{
    void someFn()
    {
         Foo<T>::isFundamental(); /* На разрешённом типе ничего не будет делать, на не разрешённом - компилятор выдаст ошибку о том, что такой функции нет. */
    }

    /* ... */
};

Ну тогда тебя спасёт bcp. Тебе понадобятся только хедеры и никаких либ.

Знаю что в бусте есть почти всё что надо, но в данном проекте он не применим, как и Loki. Приходится велосипедировать.

а просто посмотреть и сделать так же? type traits достаточно просто реализуются, anyway; в любом случае стоит почитать Майерса:

http://www.cantrip.org/traits.html

> тогда что-то типа:
Спасибо, то что нужно.

jtootf спасибо почитаю.

>Знаю что в бусте есть почти всё что надо, но в данном проекте он не применим, как и Loki.

Можно из локи выдрать TypeTraits.hpp. Эта часть библиотеки AFAIK вообще никакого кода не порождает и поэтому не тащит зависимостей от .so.

см. BOOST_STATIC_ASSERT

Ждать C++0x когда это сможет быть адекватно реализованно