con trỏ chức năng templated như tham số mẫu

Question

Tôi chỉ vấp vào một vấn đề nhỏ mà làm phiền tôi trong khi đối phó với các mẫu. Dưới đây là một ví dụ:

template<class _returnType, _returnType (*_function)()> 
_returnType aliasGetter() { return _function(); } 
int getCoolNumber() { return 42; } 
int main() 
{ 
    std::cout << aliasGetter<int, &getCoolNumber>(); //42 
} 

mã này làm việc (http://cpp.sh/ nếu bạn muốn thử nó), tuy nhiên kể từ khi tôi đưa ra một con trỏ hàm như mẫu thông số tôi không cần _returnType, nó phải có trong chữ ký chức năng, vấn đề là, cho dù tôi có cố gắng thế nào đi nữa, tôi không thể tìm ra cách để loại bỏ tham số mẫu bổ sung này.

Làm cách nào để tạo aliasGetter chỉ lấy một tham số mẫu (một con trỏ đến trình thu thập bí danh)? Nếu điều đó là không thể, tại sao không?

Answer 1

Trong C++ 17, nó sẽ trở thành có thể, nhờ template auto:

template <auto F> std::invoke_result_t<F> aliasGetter() { return F(); } 

Trước khi C++ 17, đó là không thể. Bạn cần chỉ định loại tham số mẫu không phải kiểu - không có cách nào xung quanh. Bạn không thể tạo một nhà máy cho điều này vì bạn không thể chuyển một con trỏ hàm thông qua một mẫu hàm và kết thúc nó như một đối số mẫu không kiểu.

---

Cách giải quyết ngắn nhất trong C++ 14 là, tiếng thở dài, sử dụng một macro:

template <class T, T F> std::result_of_t<T()> aliasGetter() { return F(); } 
#define TEMP_ALIAS(x) decltype(x), x 

std::cout << aliasGetter<TEMP_ALIAS(&getCoolNumber)>(); 

mà được bạn loại con trỏ chức năng của bạn mà không cần phải tự gõ nó hai lần.