C++ template tiếng gọi của chức năng con trỏ kiểu

Question

Nếu tôi có khai báo kiểu như

typedef void (*command)(); 

template <command c> 
void execute() { 
    c(); 
} 

void task() { /* some piece of code */ } 

sau đó

execute<task>(); 

sẽ biên dịch và hoạt động như mong đợi. Tuy nhiên, nếu tôi xác định mẫu là

template <command c> 
void execute() { 
    command(); 
} 

nó vẫn biên dịch. Tôi đã làm điều này một cách tình cờ. Bây giờ tôi đang bối rối về những gì phiên bản thứ hai sẽ được dự kiến ​​sẽ làm.

Answer 1

Trong C++

type_name() 

là một biểu hiện mà tạo ra một trường hợp mặc định khởi tạo của type_name.

Đối với người bản xứ loại có được ngầm định nghĩa constructor mặc định, ví dụ như vậy

int(); 

là C++ tuyên bố hợp lệ (chỉ cần tạo ra một int và ném nó đi).

g++ với cảnh báo đầy đủ khi phát ra thông báo chẩn đoán vì đó là hoạt động nghi ngờ (có thể không mong muốn), nhưng mã hợp lệ và thậm chí có thể có chương trình tùy thuộc vào nó (nếu loại là loại do người dùng xác định và hàm tạo của trường hợp có tác dụng phụ).

Answer 2

command(); 

Nó tạo ra một đối tượng tạm thời như TYPE(); và trình biên dịch bỏ qua nó như một không sử dụng biến .

warning: statement has no effect [-Wunused-value] 
    command(); 
    ^

Bạn nên bật tùy chọn -Wall trình biên dịch. Live code.