วิธีส่งการอ้างอิงไปยังอาร์กิวเมนต์ชื่อเทมเพลต

มีวิธีส่งการอ้างอิงเป็นอาร์กิวเมนต์ไปยังอาร์กิวเมนต์พิมพ์ชื่อแม่แบบหรือไม่ ฉันหมายถึงเช่นนั้นแทนที่จะผ่าน int ตัวอย่างเช่นเพื่อส่งการอ้างอิงไปยัง int

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
}

ฉันรู้ว่าฉันสามารถทำให้สมาชิก 'ptr' เป็นตัวอ้างอิงถึงตัวชี้โดยทำให้ T & อยู่ในชั้นเรียน แต่ฉันสงสัยว่าสิ่งนี้สามารถทำได้จากการโต้แย้งที่ส่งผ่านไปยังอาร์กิวเมนต์เทมเพลต

Foo<decltype(a) &> foo1(a)คุณกำลังมองหา

ทางเลือกที่ชัดเจนมากขึ้น (ซึ่งทำงานในกรณีนี้โดยเฉพาะ) Foo<decltype((a))> foo1(a)เป็น

เป็นทางเลือกแทนคำตอบก่อนหน้านี้คุณสามารถใช้std :: reference_wrapper

std :: reference_wrapper เป็นแม่แบบคลาสที่ล้อมรอบการอ้างอิงในวัตถุคัดลอกได้กำหนด มักใช้เป็นกลไกในการจัดเก็บการอ้างอิงภายในคอนเทนเนอร์มาตรฐาน (เช่น std :: vector) ซึ่งปกติไม่สามารถเก็บการอ้างอิง

#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));
}