Cơ thể có yêu cầu chặn ngữ cảnh không được đánh giá không?

Question

Cơ thể của định nghĩa khái niệm hay yêu cầu bối cảnh không được đánh giá theo khối? ví dụ. thế nào tôi có thể sử dụng std::declval một cách an toàn?

template<typename T> 
concept bool SomeConcept = requires(T a) { 
    { a.someFunction(std::declval<int>()) } -> int; 
}; 

Answer 1

Có. Từ [temp.constr.expr], từ ngữ như của N4641:

Một biểu hiện hạn chế là một hạn chế mà xác định một yêu cầu về sự hình thành của một biểu thức E thông qua thay thế đối số mẫu. Một ràng buộc biểu thức được thỏa mãn nếu thay thế năng suất E không thành công. Trong giới hạn biểu thức, E là toán hạng chưa được đánh giá (Điều 5).

Vì vậy, việc sử dụng declval sẽ không sao.

Ngoài ra, bạn chỉ có thể tạo các đối tượng của các loại bạn cần vì trong bối cảnh yêu cầu, chúng tôi không thực sự xây dựng bất cứ điều gì:

template<typename T> 
concept bool SomeConcept = requires(T a, int i) { 
    { a.someFunction(std::move(i)) } -> int; 
};