Cú pháp trả về C++ mới có hạn chế không?

Question

Tôi đã bắt đầu một dự án riêng tư mới và quyết định sử dụng thêm C++11/14 lần này. Vì vậy, tôi cũng bắt đầu sử dụng cú pháp trở lại mới

auto functionName() -> returnType; 

Nó hoạt động cho hầu hết các phần rất tốt, nhưng bây giờ tôi cần một số xử lý lỗi và không thể tìm ra cách để re-write thứ như thế này:

virtual const char* what() const noexcept override; 

với cú pháp mới. Có một số trường hợp không thể sử dụng cú pháp mới hoặc tôi không đủ thông minh để tìm đúng thứ tự? Đối với tôi, điều quan trọng là giữ cho mọi thứ nhất quán, vì vậy tôi hy vọng vấn đề là nhiều hơn về phía tôi.

Answer 1

Vâng, đây không phải là điều bạn thường đoán.

virtual auto what() const noexcept -> const char * override; 

Đây chỉ là thứ tự bạn phải sử dụng. Cú pháp có thể khác, có lẽ, nhưng đây là những gì chúng ta có.

Answer 2

Cú pháp mới hỗ trợ mọi cú pháp cũ.

virtual const char* what() const noexcept override; 

phải được viết lại như

virtual auto what() const noexcept -> const char * override; 

---

Trên thực tế, cú pháp mới hỗ trợ tính năng thậm chí nhiều hơn:

• Nó cho phép bạn làm decltype trên đối số chức năng.

  template <typename A, typename B> auto plus(A a, B b) -> decltype(a+b) 
  { 
      return A + B; 
  } 
  

• Nó cũng cho phép bạn làm decltype trên this, do đó cho phép bạn làm decltype trên hàm thành viên. See this.

  struct S 
  { 
      int a() {return 1;} 
      auto b() -> decltype(a()) {return 2;} // Works. 
      decltype(a()) c() {return 2;} // ERROR. 
  }; 
  

---

Nhưng trong khi cú pháp mới có tất cả những tính năng bổ sung, nó không phải là một sự thay thế cho cái cũ. Ít nhất đây là cách tôi hiểu nó.

Một số lập trình viên thích sử dụng nó, nhưng theo như tôi biết hầu hết các lập trình viên ở đây trên Stack   Tràn thích sử dụng cú pháp cũ khi có thể.

Answer 3

Lý do cho sự cố là noexcept là một phần của trình khai báo hàm (và được đề xuất là một phần của kiểu hàm trong C++ 17), trong khi override là một định danh (tùy chọn được sử dụng) không phải là một phần của khai báo hàm.

Do đó, mà không cần sử dụng override tuyên bố sẽ

virtual auto what() const noexcept -> const char *; 

và, vì override phải xuất hiện sau tuyên bố này, nó sẽ gây ra

virtual auto what() const noexcept -> const char * override; 

Điều đó nói rằng, hơn là mù quáng sử dụng C++ 11/C++ 14 tính năng, chọn những cái tốt nhất phản ánh ý định của bạn. Không có một số quy tắc chỉ yêu cầu sử dụng các tính năng C++ 11/C++ 14 nếu có các lựa chọn thay thế cũ hơn để đạt được điều tương tự.

Answer 4

Vì bạn cũng hỏi về C++ 14, đối với kịch bản của bạn, điều này tốt hơn cú pháp kiểu hậu tố trả về;

virtual auto what() const noexcept override;