Хочется специализировать функцию process для указателя SOURCE_TYPE*, т.е. по сути нужна частичная специализация

Код

template<typename SOURCE_TYPE> struct converter { template<typename DEST_TYPE> DEST_TYPE process(SOURCE_TYPE item); };

template<typename SOURCE_TYPE> template<typename DEST_TYPE> DEST_TYPE converter<SOURCE_TYPE>::process(SOURCE_TYPE item)
{return DEST_TYPE(item);}

//template<>
template<typename SOURCE_TYPE> SOURCE_TYPE* converter<SOURCE_TYPE>::process<SOURCE_TYPE*>(SOURCE_TYPE item)
{return &item;}
Добавлено @ 19:41
прошу прощения

Код

template<typename SOURCE_TYPE> struct converter { template<typename DEST_TYPE> DEST_TYPE process(SOURCE_TYPE item); }; template<typename SOURCE_TYPE> template<typename DEST_TYPE> DEST_TYPE converter<SOURCE_TYPE>::process(SOURCE_TYPE item) {return DEST_TYPE(item);} //template<> template<typename SOURCE_TYPE> SOURCE_TYPE* converter<SOURCE_TYPE>::process<SOURCE_TYPE*>(SOURCE_TYPE item) {return &item;}

Что-то страшное замутил. А что хотел сделать-то вообще?

Цитата

//template<> template<typename SOURCE_TYPE> SOURCE_TYPE* converter<SOURCE_TYPE>::process<SOURCE_TYPE*>(SOURCE_TYPE item) {return &item;}

У тебя SORCE_TYPE-то где-то объявлен? Что ты хотел специализировать?

Хотелось бы сделать конвертер, который либо вызывал бы оператор преобразования типа, если таковой имеется, либо возвращал итем, либо его адрес. Вся эта хрень для того чтобы для функция, принимающая шаблонный контейнер, сама определяла, чего туда валить. Например - есть функция как-то получающая итемы (точки или еще чего-нить), если подсовываем ей контейнер адресов, то она валит туда указатели на итемы, если контейнер итемов - то, соответственно, сами итемы.

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

Цитата

Тем более у меня специализация на указатели в вижуал студии нифига не заработала. Такое ощущение что она там ваще не поддерживается

Частичная специализация в MSVS не поддерживается! Только начиная с MSVS 7.

Цитата

переписать для специализации котнйнера функцию добавления

Это как? Функция добавления-то одна. В контейнер адресов она валит указатели, в контейнер итемов - итемы соответственно. И на вход ей подается уже ссылка на элемент контейнера.
А частичная специализация возможна тока в 7.1 . К примеру класс iteratоr_traits частично специализирован для указателей. Возможна проблема в том, что таким образом частично специализировать можно тока класс, а не его метод.

Цитата

Функция добавления-то одна. В контейнер адресов она валит указатели, в контейнер итемов - итемы соответственно. И на вход ей подается уже ссылка на элемент контейнера.

Что-то я не понял. Если функция одна, и на ее вход подается либо указатель, либо ссылка, то какая проблема? Тогда и шаблоны не нужны

Цитата

Это как? Функция добавления-то одна. В контейнер адресов она валит указатели, в контейнер итемов - итемы соответственно. И на вход ей подается уже ссылка на элемент контейнера.

Что значит как? Спецификации-то разные. Значит разные классы. Переписывай специфичные методы и всё.

Цитата

А частичная специализация возможна тока в 7.1 . К примеру класс iteratоr_traits частично специализирован для указателей. Возможна проблема в том, что таким образом частично специализировать можно тока класс, а не его метод.

Не скажу точно что было - на так как написано в Страуструпе - в вижуал студии нифига не работает.

Цитата

Что-то я не понял. Если функция одна, и на ее вход подается либо указатель, либо ссылка, то какая проблема? Тогда и шаблоны не нужны

Наоборот на вход подаётся только ссылка, а внутри берётся либо ссылка либо указатель

У нас есть шаблонный класс, например, списка. У него есть метод push_back, который принимает ссылку на итем

Код

template<typename ITEM> class list {      ...   bool push_back(const ITEM& item)   {...} };

Класс у нас не знает ничего о том, какого типа у него ITEM, указатель это или нет. У нас есть что-то, что хочет попасть в контейнер. Необходимо определить какого типа это что-то, привести его к тому что лежит в контейнере (взять адрес, если необходимо) и вызвать метод push_back. Если создать шаблонную функцию push_back

Код

template<typename ITEM> template<typename PUSHING> push_back(PUSHING& pushing) {...}

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

Цитата

У нас есть что-то, что хочет попасть в контейнер. Необходимо определить какого типа это что-то, привести его к тому что лежит в контейнере (взять адрес, если необходимо) и вызвать метод push_back.

Запихнуть то можно. А достовать как? Надо же опять к типу приводить.

Что-то я не пойму. Так контейнер, что должен хранить: указатель или целиком объект? Что должно быть на входе функции? Перегрузи функцию для поинтера и итема.

Может все намного проще:

Цитата

typedef int*  PINT; void Temp(const PINT& Data) { } int main(int argc, char* argv[]) {   int  Data;   int*  pData;   Temp(pData);   Temp(&Data); // На грани фола конечно же, но все же }

Есть функция, на вход которой шаблонным параметром приходит контейнер и ссылка на итем для занесения туда. Если это контейнер указателей, то кладем туда адрес ссылки, если контейнер итемов - то саму ссылку.

Код

template<class CONT, typename ITEM>pusher(CONTAINER& cont, ITEM& item) { // если контейнер итемов   cont.push_back(item); // если контейнер указателей   cont.push_back(&item); }

Я так понял, проблема вот в этом:

Цитата

// если контейнер итемов   cont.push_back(item); // если контейнер указателей   cont.push_back(&item);

Если VC6, то не выйдет. Только, если пойти по другому пути Разновидностей контейнеров много?

Это сообщение отредактировал(а) bel_nikita - 9.7.2004, 00:15

Да и в семь один тоже не особо получается(( Пришлось написать два адаптера push_item и push_ptr и их пихать в функцию.