Làm thế nào để std :: declval <T>() hoạt động?

Question

Tôi đang cố gắng hiểu cách hoạt động của std::declval<T>(). Tôi biết làm thế nào để sử dụng nó, và biết những gì nó làm, chủ yếu là cho phép bạn sử dụng decltype mà không cần xây dựng các đối tượng, như

decltype(std::declval<Foo>().some_func()) my_type; // no construction of Foo 

Tôi biết từ cppreference.com rằng std::declval<Foo> "thêm" một tài liệu tham khảo rvalue để Foo, mà do quy tắc thu gọn tham chiếu kết thúc bằng tham chiếu rvalue hoặc tham chiếu lvalue. Câu hỏi của tôi là tại sao các nhà xây dựng của Foo không được gọi? Làm cách nào để có thể triển khai phiên bản "đồ chơi" của std::declval<T> mà không xây dựng thông số mẫu?

PS: I know nó không phải là giống như các thủ thuật cũ

(*(T*)(nullptr)) 

Answer 1

Về cơ bản, trong một sizeof hoặc decltype biểu hiện bạn có thể gọi chức năng mà không phải thực hiện bất cứ nơi nào (họ cần phải được khai báo, không được thực hiện).

Ví dụ:

class Silly { private: Silly(Silly const&) = delete; }; 

auto foo() -> Silly&&; 

auto main() -> int 
{ 
    sizeof(foo()); 
} 

Trình liên kết không nên phàn nàn về điều đó.