Có phải các mẫu C ++ chỉ là một loại macro được tôn vinh?

Từ các so sánh khác nhau giữa các mẫu C ++ và chung chung C # / Java như thế này-

https://stackoverflow.com/questions/31693/what-are-the-differences-b between-generic-in-c-and-java-and-temsheet-in-c/31929 #31929

Tôi có một nhận thức rằng, các mẫu C ++ được triển khai bằng một số loại tiền xử lý (thay thế văn bản thuần túy trước khi phân tích cú pháp), không biên dịch. Bởi vì kiểu kiểm tra trong các mẫu C ++ giống với các macro C. Ý tôi là, nếu có một số lỗi, chúng là lỗi từ mã được tạo sau khi xử lý các khối mã templated, không phải từ chính các mẫu. Nói cách khác, chúng chỉ là một loại phiên bản macro của C.

Sau đó, tôi tìm thấy một số sự thật khác hỗ trợ này-

• Tôi nghĩ, nếu các mẫu C ++ được thực hiện bằng tiền xử lý, sẽ có vấn đề với liên kết động (sử dụng. Và một googling nhanh chóng hỗ trợ này.

• Một điểm khác là, hằng số nguyên có thể được truyền dưới dạng đối số cho các mẫu. Và nó thậm chí còn hỗ trợ một số loại đệ quy. Nhưng đệ quy này không được tìm thấy trong mã lắp ráp / mã máy đã biên dịch. Điều đệ quy được quản lý trong thời gian biên dịch bằng cách tạo một hàm cho mỗi cuộc gọi đệ quy và do đó có một nhị phân thực thi lớn hơn nhưng nhanh hơn.

Mặc dù không giống như macro C, nó có một số khả năng vượt trội. Nhưng không phải mẫu C ++ được triển khai với một số loại tiền xử lý? Làm thế nào điều này được thực hiện trong các trình biên dịch C ++ khác nhau?

Các mẫu C ++ là một loại macro Lisp (hoặc thậm chí nhiều hơn, Scheme). Đây là ngôn ngữ hoàn chỉnh Turing đánh giá thời gian biên dịch, nhưng nó bị hạn chế nghiêm trọng vì không có quyền truy cập từ ngôn ngữ đó vào môi trường C ++ bên dưới. Vì vậy, vâng, các mẫu C ++ có thể được xem như một dạng tiền xử lý, với sự tương tác rất hạn chế với mã được tạo.

Có lẽ sự khác biệt lớn nhất là các macro C được mở rộng trong giai đoạn tiền xử lý, trước khi bất kỳ quá trình biên dịch nào khác được thực hiện, trong khi các mẫu C ++ là một phần của quá trình biên dịch. Điều này có nghĩa là các mẫu C ++ nhận biết kiểu và phạm vi, trong số những thứ khác, và không phải là sự thay thế văn bản đơn giản. Chúng có thể biên dịch thành các hàm thực, và do đó tránh được hầu hết các vấn đề mà macro gặp phải. Nhận biết kiểu có nghĩa là chúng có thể chung chung hoặc chuyên biệt: ví dụ, thật dễ dàng để cung cấp một swaphàm mẫu và dễ dàng viết các chuyên môn hoạt động tốt ngay cả khi các đối tượng quản lý bộ nhớ heap.

Do đó: Các mẫu C ++ không được tiền xử lý theo cùng một macro, chúng không phải là một loại macro C và không thể sử dụng các macro C để sao chép các mẫu làm gì.

Các mẫu sống trong các tệp tiêu đề, không phải trong các thư viện được liên kết, đúng, nhưng nếu bạn đang cung cấp một tệp ZIP thì có lẽ bạn cũng đang cung cấp một tệp tiêu đề để sử dụng.

Có vấn đề như thế nào chúng được thực hiện? Các trình biên dịch C ++ ban đầu chỉ là các bộ xử lý trước đã cung cấp mã cho trình biên dịch ac, điều đó không có nghĩa là C ++ chỉ là một macro được tôn vinh.

Các mẫu loại bỏ sự cần thiết của một macro bằng cách cung cấp một cách an toàn hơn, hiệu quả hơn và đặc biệt hơn (thậm chí tôi không nghĩ đó là một từ thực sự) để triển khai mã cho nhiều loại.

Có nhiều cách khác nhau để thực hiện mã loại templating trong c, không có cách nào hay cả khi bạn vượt qua các kiểu đơn giản.

Có một số khác biệt; ví dụ, các mẫu có thể được sử dụng để khởi tạo quá tải hàm khi cần, trong khi với macro, bạn phải mở rộng macro một lần cho mỗi lần quá tải có thể để trình biên dịch hiển thị, vì vậy bạn sẽ kết thúc với rất nhiều mã không sử dụng.

Một sự khác biệt nữa là các mẫu tôn vinh không gian tên.

Các mẫu IMHO, C ++ và C Macros có nghĩa là để giải quyết hai vấn đề hoàn toàn khác nhau. Thư viện mẫu tiêu chuẩn C ++ ban đầu là một cơ chế để tách sạch các lớp container (mảng, danh sách liên kết, v.v.) khỏi các hàm chung thường được áp dụng cho chúng (như sắp xếp và ghép). Việc biểu diễn trừu tượng các thuật toán và cấu trúc dữ liệu hiệu quả dẫn đến mã biểu cảm hơn vì có ít phỏng đoán hơn trong cách thực hiện tốt nhất một hàm làm việc trên một phần dữ liệu cụ thể. Các macro C phù hợp hơn nhiều so với những gì người ta thường thấy trong các macro Lisp, ở chỗ chúng cung cấp một phương tiện để "mở rộng" ngôn ngữ với mã được in nghiêng. Điều thú vị là Thư viện chuẩn C ++ đã mở rộng chức năng của các mẫu để bao quát phần lớn những gì chúng ta sử dụng #define cho C.