О дружбе темплейтов, template friend функция в template классе Опции Подписка на тему Сообщить другу Версия для печати Скачать тему Подписка на этот форум Режимы отображения Переключить на: Древовидный Стандартный Переключить на: Линейный

[Iron Bug]

Я тут сегодня ковыряла темплейты. Понадобилось очень. И всё получилось.
Может, кому пригодится.

Объявление темплейтного френда для темплейтов.

Раскрывающийся текст

#include <string>
#include <iostream>
#include <typeinfo>

using namespace std;

template <typename T> class Bar;

template <typename T> string foo(const Bar<T>&);

template <typename T> class Bar
{
public:
    Bar(T value) : _value(value) {}

protected:
    T _value;

    friend string (::foo<>)(const Bar<T>&);
};

template <typename T>string foo(const Bar<T> &bar)
{
    if(typeid(T)==typeid(string))
    {
        return (string)bar._value;
    }
    else
    {
        throw "error";
    }
};

int main()
{
    Bar<string> hello("Hello, World!");
    cout << foo(hello) << endl;
    return 0;
}

[Алексей1153]

а зачем понадобилось friend, почему бы просто членом класса функцию foo не сделать ?

[Iron Bug]

потому что в реальности всё гораздо сложнее и там несколько классов и много параметров.
а это просто маленький пример объявления френдов для темплейта. я вот подлня убила на то, чтобы просечь, как его формально описать.
к тому же, у меня там есть операторы и чтобы получить lvalue в результате операции и иметь возможность писать цепочные выражения, нужно применять именно friend функции, а не методы класса.

Сообщение отредактировал Iron Bug - 22.3.2011, 13:25

[kwisp]

эту тему Герб Саттер рассматривает в своей книге "40 новых задач по С++" по-моему так она называется. завтра на работе посмотрю как точно называется.
там много тонкостей с переносимостью на другие компиляторы если нужна, с пространствами имен ....

[Алексей1153]

Iron Bug, то есть, в общем виде, получается так

class A
{
   friend Ftype (B::foo</*Tparams*/>)(Fparams);
};

class B
{
  Ftype foo<Tparams>(Fparams);
};

Сообщение отредактировал Алексей1153 - 23.3.2011, 7:39

[Iron Bug]

то есть, в общем виде, получается так

ну, в общем-то да. просто когда появляются связи между типами и параметрами, всё становится гораздо более запутанным в плане синтаксиса объявлений.