Как расшарить методы для схожего шаблонного класса:

В данном случаи преведение к TBase<T, 1>  дает нам объединение тел метода Find для различных выриантов Size, но метод _Find закрыт для класса например TBase<T, 5>
Создавать друзей для всех вариантов Size сами понимаете...
Как бы сделать типа:

Раз он не зависит от Size, то вынести в базовый класс.

Добавлено через 2 минуты и 12 секунд
Или, если это не приемлемо(вспоминается, что у тебя там какие-то проблемы с базовыми классами), то в non-member ф-цию(которую сделать friend'ом TBase<T, 1>.



Лучше

Боюсь, что такого рода вызов 



применительно к объекту TBase<T, 5> приведет к ошибке даже с использованием friend.
Ты можешь просто сделать дружественную функцию

либо можно попытаться попробовать сделать другом сам класс-шаблон, но несвязанный по параметрам


А впрочем, здесь уже и public не нужен.

Это сообщение отредактировал(а) akizelokro - 29.10.2007, 14:57

с наследованием у меня действительно проблемы, точнее не у меня а у C++, так как дочерний класс нельзя инициализировать через {...}.
А со вторым способом я чтото не допонял, можно по подробней?

Не уверен, что reinterpret_cast здесь будет работать.

Почему? Ну если брать не мифическое ограничение стандарта, а реальные реализации...


0_о.

У функции _Find не видно спецификатора const.  вот что я подразумеваю, почему reinterpret_cast может привести к довольно неожиданным результатам для самого программиста. Тем более, что меня всегда учили, что использовать явные преобразования нужно в крайних случаях. Здесь же есть более простые решения, и, скорее всего, не одно. 

более поздняя мысль.



кажется мне не приемлемой идеей. Если, предположим, функция _Find реализована в виде


то, может статься    в результате явного приведения к типу TBase<T, 1> указателя на объект класса TBase<T, 5> цикл отработает всего одну итерацию. Хмык.

Это сообщение отредактировал(а) akizelokro - 29.10.2007, 15:38

В твоем предположении есть небольшая ошибка, цикл реализован не по Size, а по Count, каторый проинициализирован перед массивом.
Во-вторых, это примитивный пример, чтобы было понятно, что я хочу. На самом деле все гораздо сложнее.

В-третих я нихрена не понял ваши дружественные функции и т.д.

Пример, который я привел, всего лишь пример, с помощью которого я на пальцах хотел показать опасность применения reinterpret_cast в данном конкретном случае шаблона с параметром-значением. Ты можешь его применять, но должен разбираться в последствиях, к чему это может привести. Base<T,1> - тип, отличный от Base<T, 5> и желательно работать с ними как с разными типами.

Про friend функцию или класс. В чем у тебя закавыка? Как объявлять функцию или класс дружественной, все знают. В случае шаблонов это немного усложняет запись. С учетом того, что Base<T, 1> и Base<T, 5> разные типы (примитивно говоря), ты можешь делать дружественными функцию или класс со связанными или несвязанными параметрами.

template<class T, int SIZE>
class Base
{
  friend int Find<T, SIZE> (T value); //дружественная функция со связанными параметрами T == T, SIZE == SIZE
  friend class Anything<Type, S>; // несвязанные параметры, T != Type, SIZE != S
}

Хорошо было бы ещё передавать ей некое подобие this(иначе от дружественности большого толку не будет).

Find<T, 1> ( *( this->Data ) )?