Nhận loại cơ sở của loại mẫu (xóa const/tham chiếu/v.v.)

Question

Có mẫu kiểu đặc điểm trả về loại cơ sở của một loại nhất định không. Bởi loại cơ sở Tôi có nghĩa là loại có tất cả các công cụ sửa đổi giá trị, const, dễ bay hơi, v.v ... bị loại bỏ. Ví dụ, sử dụng một đặc điểm chức năng giả:

base<int>::type == int 
base<int const>::type == int 
base<int&>::type == int 

Tôi nhận thức được remove_const và remove_reference và hiện đang chỉ sử dụng chúng kết hợp. Tôi tự hỏi nếu tuy nhiên có tồn tại đã có một đặc điểm và có lẽ nếu có một tên thích hợp với những gì tôi đang đề cập?

Answer 1

tôi probaby sẽ xác định một loại bí danh như:

template<typename T> 
using base_type = typename std::remove_cv<typename std::remove_reference<T>::type>::type; 

Thông báo, rằng hereR. Martinho Fernandes đề xuất tên Unqualified cho một loại bí danh như vậy.

Đặc điểm kiểu tiêu chuẩn std::decay, mặt khác thì tương tự như trên và một cái gì đó khác cho các loại mảng và chức năng, có thể hoặc không thể là thứ bạn muốn.

Answer 2

Rõ ràng nó phụ thuộc vào chính xác những gì bạn muốn xóa khỏi loại. std::decay có thể là những gì bạn đang tìm kiếm (loại bỏ tham chiếu, const/volatile, phân rã mảng thành con trỏ và hàm thành con trỏ hàm). Nếu bạn không muốn mảng đến con trỏ và hàm bị phân rã chức năng, bạn cần phải gắn bó với std::remove_reference và std::remove_cv (loại bỏ const và volatile). Tất nhiên bạn có thể kết hợp cả hai thành typetrait của riêng bạn để làm cho việc sử dụng nó dễ dàng hơn.

Answer 3

thử std::decay. Nó bắt chước những gì xảy ra khi bạn chuyển đối số tới hàm theo giá trị: dải các giá trị cv cấp cao nhất, tham chiếu, chuyển đổi mảng thành con trỏ và hàm thành con trỏ hàm.

Kính trọng, & rzej