c++ - friendship - declarar la función de amigo de plantilla de la clase de plantilla

friendship and inheritance c++

Question

Tengo una plantilla de clase Obj y una plantilla de función make_obj . Obj tiene un constructor único private definido, que toma una referencia a su tipo de plantilla para vincularse.

template <typename T>
class Obj {
  private:
    T& t;
    Obj(T& t)
        : t{t}
    { }
};

template <typename T>
Obj<T> make_obj(T& t) { 
    return {t};
}

Lo que quiero es declarar la función make_obj un friend para que pueda crear Obj ''s, pero nadie más puede hacerlo (excepto a través de la copia ctor).

He intentado varias declaraciones de amigos incluyendo

friend Obj make_obj(T&);

y

template <typename T1, typename T2>
friend Obj<T1> make_obj(T2&);

Este último es un intento poco deseable de hacer todas las make_obj de plantilla de make_obj amigos de la clase Obj . Sin embargo, en ambos casos me sale el mismo error:

error: calling a private constructor of class ''Obj<char const[6]>''
    return {t};
           ^

note: in instantiation of function template specialization
      ''make_obj<const char *>'' requested here
    auto s = make_obj("hello");
             ^

tratando de hacer make_obj("hello"); para fines de ejemplo.

¿Cómo puedo permitir que solo make_obj acceda al contructor de valor de Obj ?

Answer 1

Con la sintaxis de tipo de retorno automático, solo necesita reenviar declarar la función y todo funciona. Aquí hay un ejemplo

template <typename T>
auto make_obj(T t);

template <typename T>
class Obj {
private:
    T & t;
    Obj (T & t) : t(t) { }
    Obj() = delete;

    friend auto make_obj<T>(T t);
};

template <typename T>
auto make_obj(T t) {
    return Obj<T>{t};
}

int main() {
    make_obj(1);
    return 0;
}

https://ideone.com/3k86gx

Answer 2

Necesitas unas pocas declaraciones hacia adelante:

template <typename T>
class Obj;

template <typename T>
Obj<T> make_obj(T t);

template <typename T>
class Obj {
private:
    T & t;
    Obj (T & t) : t(t) { }
    Obj() = delete;

    friend Obj make_obj<T>(T t);
};

template <typename T>
Obj<T> make_obj(T t) { 
    return Obj<T>(t);
}

ejemplo vivo

Y BTW: No creo que realmente quieras T & t; para la variable miembro de su clase. Probablemente T t; Es una mejor opción;)