4

Основной вопрос в заголовке, идея в ограничении доступа к методу своего класса: С::serialize(). (код сильно сокращён)

class Type1
{
public:
    template<typename T>
    Type& operator&(T t){t.serialize(*this);return *this;}
    template<>Type& operator&(int t){/*полезные действия*/return *this;}
};

class Type2
{
public:
    template<typename T>
    Type& operator&(T t){t.serialize(*this);return *this;}
    template<>Type& operator&(int t){/*полезные действия*/return *this;}
};

class C
{
    int v;

    template<typename T> friend T& T::operator&(C);
    template <class T> T& serialize(T&t){t&v; return t;}
public:
    ...
};

//------------------------------------------------------------------------------
int _tmain(int argc, _TCHAR* argv[])// 
{
    Type t;
    C c;
    t & c & c & c;
    return 0;
}

Задача - правильно написать friend. Вызывать метод С::serialize из оператора Type::operator&() Классов Type будет неопределённое количество.

template<typename T> friend class T;
friend Type& Type::operator&(class C);
friend Type& operator&(class Type,class C);
template<class T>friend T& class T::operator&(C);
template<typename T> friend T& T::operator& < T > (class C);

ни один вариант не прокатывает.

3
  • 1
    Простите, не вполне понятно: кто к кому должен получить доступ.
    – VladD
    7 сен 2016 в 15:31
  • Не очень уверен в возможности вот так, скопом объявить C другом для всего, что только предоставляет оператор &... Смущает сама постановка задачи - в чем тогда вообще смысл приватности serialize? Конкретные типы удовлетворить легко, friend Type1& Type1::operator&(C);, но я так понимаю, вас это не устраивает?
    – Harry
    7 сен 2016 в 15:37
  • Смысл приватности в том, чтобы serialize можно было вызвать только из методов, а не напрямую из класса С. Скрыть от пользователя класса возможность вызова метода serialize. Если ответ не обнаружится придётся применять множественное наследование интерфейсов. :(( class I1{public:/*внешний интерфейс*/}; class I2{public:serialize();} и пользователям предоставлять интерфейс I1.
    – Zax
    8 сен 2016 в 6:44

1 ответ 1

2

Не уверен, что сделать именно так вообще возможно. Если бы такое было возможно, то компилятору бы пришлось прочёсывать все классы в поисках метода. Но утверждать, что так нельзя не буду — нет доказательств.

Т.к. задача не совсем ясна, то я могу предложить следующее решение:

class C
{
    int v = 10;

    template<typename T> friend T& operator&(T&, const C&);
    template <class T> T& serialize(T&t) const { t&v; return t; }
};

template<typename T>
T& operator&(T& t, const C& c)
{
    c.serialize(t); return t;
}

class Type1
{
public:
    Type1& operator&(int t) {/*полезные действия*/return *this; }
};

class Type2
{
public:
    Type2& operator&(int t) {/*полезные действия*/return *this; }
};

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

7
  • Пост сюда был последней попыткой решить вопрос. Такой вариант рассматривался. Он не подходит, т.к. метод operator& в семействе классов Type шаблонный со специализацией для встроенных типов уникальной для каждого класса Type. А если вынести операторный метод, то не будет возможности сделать различные специализации.
    – Zax
    8 сен 2016 в 7:07
  • @Zax, обновите Ваш вопрос с примером, в котором мой код не будет работать, но который Вам необходим.
    – ixSci
    8 сен 2016 в 7:12
  • @Zax, посмотрел я Ваш код, что по Вашему не будет работать с моим решением? Вы можете использовать Type1 & Type2 как c C, так и с int, при этом будет использована соответствующая реализация. Вам не нужна специализация шаблона, совсем.
    – ixSci
    8 сен 2016 в 7:19
  • main.cpp(15): warning C4172: returning address of local variable or temporary 1> main.cpp(38) : see reference to function template instantiation 'T &operator &<Type1>(T,C)' being compiled 1> with 1> [ 1> T=Type1 1> ] это если собрать как есть
    – Zax
    8 сен 2016 в 7:25
  • и если template<typename T> T& operator&(T&t, C c) то тоже ошибка. main.cpp(38): error C2593: 'operator &' is ambiguous 1> main.cpp(13): could be 'T &operator &<Type1>(T &,C)' 1> with 1> [ 1> T=Type1 1> ] 1> main.cpp(8): or 'T &operator &<Type1>(T,C)' 1> with 1> [ 1> T=Type1 1> ] 1> while trying to match the argument list '(Type1, C)'
    – Zax
    8 сен 2016 в 7:27

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.