The expression following the is a c

The expression following the is a class name followed by an instantiation of its formal generic parameters, if any, and possibly a rename list. The syntax and interpretation of the actual generic parameters and rename list are as described for class name expressions above.
The class name must be that of a class in the specification and may occur either before or after the expression. All subclasses of the class — that is, those classes derived either directly or indirectly via inheritance and occurring either before or after the expression — must have the same formal generic parameters as the class and include, for each visible feature of the class, an identically named visible feature. Furthermore, these common-named visible features must be type compatible and, in the case of operations, have identical auxiliary variables. Type compatibility of constants and state variables was described in Section 3.3 and type compatibility of operations was described in Section 3.7.3.
The restriction on the subclasses ensures that each can be used in the same way as the given class. In particular, any expression applicable to an object of the given class is also applicable to objects of each of the subclasses. Any expression valid for an object of the given class is hence valid for an object of the polymorphic type. Expressions which are valid for objects of particular subclasses but not for the given class are not valid for objects of the polymorphic type unless the type of these objects is further qualified. This is discussed in Section 3.9.5 below.

Kết quả (Việt) 1:

Biểu hiện sau các là một tên lớp tiếp theo một instantiation của các tham số hình thức chung chung, nếu bất kỳ, và có thể là một danh sách đổi tên. Cú pháp và giải thích các thực tế các thông số chung và đổi tên danh sách là như mô tả cho lớp tên biểu thức ở trên.Tên lớp phải là một lớp đặc điểm kỹ thuật và có thể xảy ra trước hoặc sau khi biểu thức. Tất cả các lớp con của lớp — có nghĩa là, những lớp học có nguồn gốc hoặc trực tiếp hoặc gián tiếp thông qua thừa kế và xảy ra trước hoặc sau khi biểu thức — phải có các thông số chính thức cùng chung là lớp và bao gồm, cho mỗi tính năng có thể nhìn thấy của các lớp học, một tính năng có thể nhìn thấy tên là giống nhau. Hơn nữa, các tính năng có thể nhìn thấy tên chung phải là loại tương thích và, trong trường hợp hoạt động kinh doanh, có biến phụ trợ giống hệt nhau. Loại tính tương thích của Hằng và biến trạng thái được mô tả trong phần 3.3 và khả năng tương thích loại hoạt động được diễn tả trong phần 3.7.3.Những hạn chế trên các phân lớp đảm bảo rằng mỗi người có thể được sử dụng trong cùng một cách như là lớp học nhất định. Đặc biệt, bất kỳ biểu hiện áp dụng cho một đối tượng của lớp nhất định cũng được áp dụng cho các đối tượng của mỗi phân lớp các. Bất kỳ biểu hiện hợp lệ cho một đối tượng của lớp nhất định do đó là hợp lệ cho một đối tượng của các loại bướu. Biểu hiện là hợp lệ cho các đối tượng của phân lớp cụ thể nhưng không phải cho các lớp học nhất định là không hợp lệ cho các đối tượng của các loại bướu trừ khi loại của các đối tượng đủ điều kiện hơn nữa. Điều này được thảo luận trong phần 3.9.5 dưới đây.

Kết quả (Việt) 2:

Các biểu thức sau đây là một tên lớp theo sau là một instantiation của thông số chung chính thức của mình, nếu có, và có thể là một danh sách đổi tên. Cú pháp và giải thích các thông số chung thực tế và đổi tên danh sách được mô tả cho tên lớp biểu thức ở trên.
Tên lớp phải là của một lớp học tại các đặc điểm kỹ thuật và có thể xảy ra trước hoặc sau khi biểu thức. Tất cả các lớp con của lớp - đó là, những lớp học có nguồn gốc trực tiếp hoặc gián tiếp thông qua kế thừa và xảy ra trước hoặc sau khi các biểu thức - phải có các thông số chung chính thức giống như các lớp học và bao gồm, cho mỗi tính năng nhìn thấy được của lớp, một hệt tên là tính năng có thể nhìn thấy. Hơn nữa, các tính năng này có thể nhìn thấy chung tên phải được loại tương thích, và trong trường hợp hoạt động, có các biến phụ trợ giống hệt nhau. Loại khả năng tương thích của các hằng số và biến trạng thái được mô tả trong mục 3.3 và các loại tương thích của các hoạt động được mô tả trong Phần 3.7.3.
Các hạn chế trên các lớp con bảo đảm rằng mỗi người có thể được sử dụng trong cùng một cách như các lớp học nhất định. Trong đó, bất kỳ biểu hiện áp dụng cho một đối tượng của lớp học nhất định cũng được áp dụng cho các đối tượng của mỗi người trong các lớp con. Bất kỳ biểu thức hợp lệ cho một đối tượng của lớp được là vì thế hợp lệ cho một đối tượng của kiểu đa hình. Cách thể hiện nào có giá trị cho các đối tượng của lớp con cụ thể, nhưng không phải cho các lớp học nhất định là không hợp lệ cho các đối tượng của kiểu đa hình trừ khi loại các đối tượng này là tiếp tục đủ điều kiện. Điều này sẽ được thảo luận tại mục 3.9.5 dưới đây.