Làm thế nào để chuyển một tham chiếu đến một đối số tên kiểu mẫu

Có cách nào để chuyển tham chiếu làm đối số cho đối số tên kiểu mẫu không? Tôi có nghĩa là như vậy thay vì truyền một int, ví dụ, để chuyển một tham chiếu đến một 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
}

Tôi biết tôi có thể làm cho thành viên 'ptr' trở thành một tham chiếu đến một con trỏ bằng cách làm cho nó T & trong lớp, nhưng tôi đã tự hỏi liệu điều này có thể được thực hiện từ đối số được truyền cho đối số mẫu không.

Bạn đang tìm kiếm Foo<decltype(a) &> foo1(a).

Một thay thế tối nghĩa hơn (hoạt động trong trường hợp cụ thể này) là Foo<decltype((a))> foo1(a).

Thay thế cho câu trả lời trước, bạn có thể sử dụng std :: Reference_wrapper

std :: Reference_wrapper là một mẫu lớp bao bọc một tham chiếu trong một đối tượng có thể sao chép, có thể gán. Nó thường được sử dụng như một cơ chế để lưu trữ các tham chiếu bên trong các thùng chứa tiêu chuẩn (như std :: vector) mà thông thường không thể chứa các tham chiếu.

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