chức năng truyền theo giá trị (?) Thay vì con trỏ hàm?

Question

Xin lỗi nếu điều này đã được yêu cầu trước đó, nhưng tôi không thể tìm thấy nó.

Vì vậy, tôi đang cố gắng tự học về mẫu và các tính năng C++ 11 mới (chủ yếu là lambdas, thứ mà tôi luôn thích bằng các ngôn ngữ khác).

Nhưng trong các thử nghiệm của tôi, tôi đã đến một cái gì đó tôi không hề biết nó làm việc, và tôi đang cố gắng để hiểu làm thế nào nó hoạt động nhưng không thể con số nó ra ..

Các mã sau đây:

template <class Func> 
void Test(Func callback) { 
    callback(3); 
} 

void Callback(int i) { 
    std::cout << i << std::endl; 
} 

int main(int argc, char** argv) { 
    Test(&Callback); // this I was expecting to work, compiler will see its a pointer to a function 
    Test(Callback); // this also works, but how?! 
    return 0; 
} 

Nếu tôi hiểu cách thức hoạt động của mẫu, về cơ bản chúng là sơ đồ cho trình biên dịch để biết phải xây dựng gì, vì vậy lệnh gọi đầu tiên là Test(&Callback); Tôi đã mong đợi làm việc vì trình biên dịch sẽ thấy mẫu nhận địa chỉ hàm và sẽ giả định đối số là một con trỏ.

Nhưng cuộc gọi thứ hai là gì? Mẫu giả định là gì? Một bản sao của một functio (nếu điều đó thậm chí làm cho bất kỳ ý nghĩa)?

Answer 1

Một hàm được chuyển đổi hoàn toàn thành con trỏ đến chính nó; chuyển đổi này xảy ra khá nhiều ở khắp mọi nơi. Test(Callback) hoàn toàn giống với Test(&Callback). Không có sự khác biệt. Trong cả hai trường hợp, Func được suy ra là void(*)(int).

Con trỏ hàm là lạ. Bạn có thể tìm hiểu thêm về chúng trong "Why do all these crazy function pointer definitions all work?"

Answer 2

Trong C++, hàm không phải là đối tượng hạng nhất, có nghĩa là "hàm làm giá trị" không có ý nghĩa gì trong đó. Đó là lý do tại sao tên hàm luôn luôn được chuyển đổi hoàn toàn thành con trỏ đến nó.

Answer 3

Hàm được chuyển đổi hoàn toàn thành con trỏ hàm. Nếu thực tế không có cách nào để có được một giá trị hàm hoặc tham chiếu. Mặc dù kỳ quặc bạn có thể tạo ra một loại giá trị hàm, bạn không thể chỉ định bất cứ thứ gì cho nó.

Here is code snippit minh họa cách lambdas và các cuộc gọi lại khác nhau phản ứng với mẫu.

Answer 4

Trong C++ 11 (và tăng và tr1) chúng tôi có std :: chức năng như một loại mẫu để lưu trữ functors, lambdas và chức năng. Vì vậy, bạn chắc chắn có thể có khái niệm về việc giữ một giá trị hàm trong một biến kiểu std :: function. biến đó cũng có thể là "trống" nghĩa là không có hàm (tham chiếu) nào được lưu trữ trong nó. Thế thì nó không thể được gọi.

Câu hỏi ban đầu liên quan đến điều đó trái với C, C++ cho phép tham chiếu hàm. Thêm vào đó, vì lý do tương thích với C, tên hàm có thể làm thoái hóa con trỏ hàm. Nhưng vì quá tải những thứ có nhiều "thú vị" trong C++ hơn trong C.