Giảm bớt thông số mẫu không kiểu

Question

Có thể suy ra tham số mẫu không phải kiểu từ tham số hàm mẫu không?

xem xét mẫu đơn giản này:

template <int N> constexpr int factorial() 
{ 
     return N * factorial<N - 1>(); 
} 

template <> constexpr int factorial<0>() 
{ 
     return 1; 
} 

template <> constexpr int factorial<1>() 
{ 
     return 1; 
} 

Tôi muốn để có thể thay đổi factorial vì vậy mà tôi cách khác có thể gọi nó như thế này:

factorial(5); 

và để cho các con số trình biên dịch ra giá trị của N tại thời gian biên dịch. Điều này có khả thi không? Có lẽ với một số bổ sung C++ 11 ưa thích?

Answer 1

Không thể thực hiện được, trừ khi bạn có máy thời gian.

Tham số cho hàm được xử lý khi chạy. Có, trong trường hợp của bạn là một hằng số theo nghĩa đen, nhưng đó là trường hợp đặc biệt.

Trong định nghĩa hàm, tham số loại được cố định tại thời gian biên dịch (và do đó, có thể được sử dụng để suy ra các thông số mẫu), nhưng thông số giá trị chỉ cố định khi chạy.

Tại sao bạn cần điều này? Là nó chỉ vì vậy bạn không cần phải gõ của <> 's?

Answer 2

Tôi không nghĩ bạn có thể làm điều đó; cách duy nhất bạn có thể làm điều đó sẽ có tham số chức năng constexpr sẽ được thông qua sau đó làm thông số template cho phiên bản mẫu factorial, nhưng không chấp nhận tham số chức năng constexpr.

Answer 3

Không, nó không phải là có thể, trừ khi bạn muốn tạo một câu lệnh switch khổng lồ:

int getFactorial(const int v) 
{ 
    switch (v) 
    { 
    case 1 : return factorial<1>(); 
    case 2 : return factorial<2>(); 
    //etc 
    default: 
     ; 
    } 
    return 0; 
} 

Answer 4

Không, bạn không thể làm điều đó. Đối số mẫu chỉ có thể được suy ra từ đối số loại của đối số hàm, không phải là giá trị , sẽ không được biết chung lúc biên dịch.

Tất nhiên, bạn có thể viết lại factorial làm chức năng không phải là mẫu constexpr; sau đó nó sẽ được đánh giá tại thời gian biên dịch nếu các đối số được biết đến sau đó.

Answer 5

mã hiện tại của bạn thường sẽ được viết như sau, tôi tin rằng:

constexpr factorial (int n) 
{ 
    return n > 0 ? n * factorial(n - 1) : 1; 
} 

Nếu bạn gọi nó với một hằng số biểu hiện, chẳng hạn như factorial(5), sau đó tất cả các trình biên dịch ma thuật sẽ đi vào chơi. Nhưng nếu bạn làm int a = 3; factorial(a), sau đó tôi nghĩ rằng nó sẽ rơi trở lại trên một chức năng thông thường - nghĩa là nó sẽ không xây dựng một bảng tra cứu các câu trả lời được tính toán trước.

Nói chung, bạn nên đánh dấu mọi hàm và hàm tạo là constexpr nếu có thể. Bạn không mất gì, trình biên dịch sẽ coi nó như một hàm bình thường nếu cần thiết.

Answer 6

Sử dụng macro ác:

#define factorial(X) factorial<X>()