Chúng ta có thể bỏ qua const trên các biến cục bộ trong các hàm constexpr không?

Question

Ví dụ:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    // Can we omit const? 
    const int x = g(); 
    const int y = 10; 

    return x + y; 
} 

Có bất kỳ điểm đến bao giờ khai báo các biến cục bộ trong một hàm constexpr với const?

Không phải là constexpr chức năng với const biến cục bộ tương đương cho những người không có const?

Nói cách khác, không constexpr trên hàm áp đặt (ngụ ý) const trên các biến cục bộ của nó?

Answer 1

Những lập luận tương tự cho khai báo biến như const trong phi constexpr chức năng cũng áp dụng cho constexpr chức năng:

• Khai báo một biến const tài liệu thực tế là nó sẽ không bao giờ được thay đổi. Điều này có thể trong một số trường hợp giúp làm cho hàm dễ đọc hơn.
• Khai báo biến số const ảnh hưởng đến độ phân giải quá tải và có thể làm cho h(x) giải quyết h khác nhau tùy thuộc vào việc x là const.

Tất nhiên, theo hướng ngược lại, như đã đề cập trong ý kiến ​​đã:

Ngay cả trong constexpr chức năng, các biến địa phương có thể được thay đổi. Nếu các biến đó sau đó được thay đổi để chúng là const, các nỗ lực thay đổi chúng sẽ không còn được chấp nhận nữa.

Answer 2

Nói chung, một hàm không thể được đánh giá tại thời gian biên dịch và do đó không thể được gọi trong biểu thức hằng số. Chỉ định một hàm như constexpr chỉ ra rằng nó có thể được sử dụng trong các biểu thức hằng số NẾU các đối số đầu vào của nó là các hằng số. Ví dụ: ...

constexpr int n = func(7); 

... phải được đánh giá vào thời gian biên dịch.

Đó là ý nghĩa của hàm constexpr trước. Đây là trường hợp, nó không làm theo các biến cục bộ bên trong hàm không cần phải được chỉ định const.

Answer 3

Trong ví dụ cụ thể này các biến cục bộ sẽ được công bố tốt nhất constexpr, không const, bởi vì họ thể được tính tại thời gian biên dịch:

constexpr int g() { return 30; }  

constexpr int f() 
{ 
    constexpr int x = g(); 
    constexpr int y = 10; 

    return x + y; 
} 

Khi f() được gọi vào thời gian chạy, mà không có sự constexpr trên x và y, (có hoặc không có const trên x và y) bạn đang cung cấp cho trình biên dịch tùy chọn khởi tạo x và y tại thời gian chạy thay vì biên dịch thời gian.Với constexpr trên x và y, trình biên dịch sẽ tính x và y tại thời gian biên dịch, ngay cả khi f() được thực hiện tại thời gian chạy.

Tuy nhiên, trong một chức năng khác, không thể luôn sử dụng constexpr. Ví dụ, nếu f() và g() mất một tham số:

constexpr int g(int z) { return z+30; }  

constexpr int f(int z) 
{ 
    const int x = g(z); 
    constexpr int y = 10; 

    return x + y; 
} 

Bây giờ x không thể được đánh dấu constexpr vì z có thể không phải là một thời gian biên dịch liên tục, và hiện nay là không có cách nào để đánh dấu nó như vậy. Vì vậy, trong trường hợp này, đánh dấu xconst là cách tốt nhất bạn có thể làm.

Answer 4

Bạn không chỉ có thể , nhưng đôi khi bạn phải (ví dụ nếu những thay đổi biến), ví dụ:

constexpr size_t f(size_t n) { 
    size_t val = 1; 
    if (n == 0) val++; 
    return val; 
} 
char arr0[f(0)] = {'a', 'x'}; 
char arr1[f(1)] = {'y'}; 

là tốt trong C++ 14.