So übergeben Sie einen Verweis auf ein Template-Typnamen-Argument

Gibt es eine Möglichkeit, eine Referenz als Argument an ein Argument für den Vorlagentypnamen zu übergeben? Ich meine dies, anstatt beispielsweise ein int zu übergeben, um einen Verweis auf ein int zu übergeben.

template <typename T>
struct Foo
{
    Foo(T arg) : ptr(arg) {}
    T ptr;
};

int main() 
{
    int* a = new int(6);
    Foo<decltype(a)> foo1(a); // ptr is a copy of a pointer
    Foo<decltype(&a)> foo1(&a); // ptr seems to be a pointer to a pointer
}

Ich weiß, dass ich das 'ptr'-Mitglied als Referenz auf einen Zeiger festlegen kann, indem ich es in der Klasse als T & bezeichne, aber ich habe mich gefragt, ob dies anhand eines Arguments möglich ist, das an das Vorlagenargument übergeben wird.

Du suchst Foo<decltype(a) &> foo1(a).

Eine obskurere Alternative (die in diesem speziellen Fall funktioniert) ist Foo<decltype((a))> foo1(a).

Alternativ zur vorherigen Antwort können Sie std :: reference_wrapper verwenden

std :: reference_wrapper ist eine Klassenvorlage, die eine Referenz in ein kopierbares, zuweisbares Objekt einschließt. Es wird häufig als Mechanismus zum Speichern von Referenzen in Standardcontainern (wie std :: vector) verwendet, die normalerweise keine Referenzen enthalten können.

#include <functional>

template <typename T>
struct Foo
{
  Foo(T arg) : ptr(arg)
  {
  }
  T ptr;
};

int main()
{
  int* a = new int(6);

  Foo<std::reference_wrapper<int*>> foo1(std::ref(a));
  foo1.ptr[0] = 1;  // ok

  // This also works
  int* b = new int(6);
  Foo<std::reference_wrapper<decltype(b)>> foo2(std::ref(b));
  // and this too
  foo1 = foo2;

  // Or, if you use c++17, even this
  Foo foo3(std::ref(b));
}