шаблонные функции, как помочь компилятору выбрать определенную.

[Пепел Феникса]

в общем такая ситуация:

class Stream
{
    template<class T> Stream& operator<<(T& o)
    {
        Write(&o,sizeof(o));
        return *this;
    }
    template<class T> Stream& operator<<(T& o)
    {
        o.SaveToStream(*this);
        return *this;
    }
};

как можно компилятору подсказать чтоб он сначало пытался выполнить(скомпилировать) второй(ну можно их порядок сменить, не суть) оператор, и лишь в случае неудачи брал первый?

или никак?

ну или хотя бы, можно компилю сказать что объекты произвольные от опред класса надо обрабатывать иначе?

ЗЫ:кстати маленький вопрос, это нормальное организация оператора или можно void ставить как тип возврата?(в принципе думаю что можно, ведь будет Stream<<T, а не Stream=Stream<<T, но хочу узнать мнение опытных)

[Гром]

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

кстати маленький вопрос, это нормальное организация оператора или можно void ставить как тип возврата?

Лучше оставить так как есть, потому что с void'ом у вас не получится записать так:

class X;
class Y;
X x;
Y y;
Stream stream;
stream << x << y;

[Пепел Феникса]

либо логику выбора засовывайте внутрь тела функции.

как?
мне нужно знать будет на этапе компиляции, есть ли у объекта o метод SaveToStream...

у меня есть лишь один вариант, он наверно верный.

class Stream
{
    template<class T> Stream& operator<<(T& o)
    {
        Write(&o,sizeof(o));
        return *this;
    }
};

class String
{
    unsigned int SaveToStream(Stream& s)
    {
        //записываем данные и возвращаем обьем  записанного.
    }
};

Stream& operator<<(Stream& s,String& S)
{
    S.SaveToStream(s);
}

так проканает или не?(проверить просто пока не могу, но вопрос хочу выяснить)

Лучше оставить так как есть, потому что с void'ом у вас не получится записать так:

да, вы правы, этот момент важный, спасибо

[_Ч_]

Такое возможно. За примером можно сходить к саттеру. у него есть глава о требовании наличия ф-ии члена у класса. Это свойство класса определяется на этапе компиляции.

[Пепел Феникса]

эммм...к кому сходить?

я понимаю что в итоге сведется похоже к #if #else #endif, но какое условие?

[_Ч_]

нет. макросов там не будет. У Саттера в Решения сложных задач есть правильная глава. Она так и называется: Требования наличия функций-членов.

[pproger]

я может чего то не понимаю, но почему нельзя специадизировать шаблон? на объект, у которого есть метод savetostream вызывать соответствующуу функцию, на все другие - write

[Пепел Феникса]

и мне для каждого класса писать специализацию?

[_Ч_]

Я вот по памяти накидал один из возможных вариантов. не компилил это да и не доделанный он. Тут главное идею уловить.

class Stream
{
  template <bool> struct BoolToType {}
  typedef BoolToType<true> TrueType;
  typedef BoolToType<false> FalseType;

  template <typename T>
  struct SaveToStreamDetector
  {
    static const bool HasSaveToStreamMethod = false;
  };

public:
  template<typename T>
  Stream& operator << (const T& o) const
  {
    Serialize(o, BoolToType<SaveToStreamDetector<T>::HasSaveToStreamMethod>());
  }

private:
  template<typename T>
  Stream& Serialize(const T& o, FalseType) const
  {
    Write(&o,sizeof(o));
    return *this;
  }

  template<typename T>
  Stream& Serialize(const T& o, TrueType) const
  {
    o.SaveToStream(*this);
    return *this;
  }
};

Тут остатется лишь реализовать SaveToStreamDetector<T>, который бы для классов, у которых есть требуемый метод имел бы в качестве значения HasSaveToStreamMethod - true, для остальных - false.
О том, как это продетектить в компайлтайме я уже сказал где можно посмотреть. Возможны и другие реализации. это лишь одна из. В бусте также есть классы, которые определяют свойства других классов. Возможно там уже есть готовый детектор.

[_Ч_]

вообще в вашем случае стоит пойти немного другим путем. сделать так, как сделано в стл. а именно. там есть std:stream, у которого есть метод write или похожая. еще есть стандартная шаблонная ф-ия std:stream <<, которая реализована по умолчанию для всех плоских типов. но если вы пишите класс и хотите чтобы он записывался в стрим стандартным синтаксисом, то вы реализуете свою нешаблонную ф-ию operator <<, которая в качестве аргумента кроме стрима принимает именно ваш класс.