Khi nào là std :: string_view :: operator == thực sự constexpr?

Question

Theo cppreference, std::string_view::operator== là constexpr. Tôi gặp khó khăn trong việc tìm kiếm một tình huống cho điều này là đúng với việc triển khai thư viện hiện tại.

Đây là những gì tôi đã cố gắng:

#include <string_view> 

constexpr char x0[] = "alpha"; 
constexpr char y0[] = "alpha"; 
constexpr auto x = std::string_view(x0, 5); 
constexpr auto y = std::string_view(y0, 5); 

constexpr auto a = std::string_view("alpha", 5); 
constexpr auto b = std::string_view("alpha", 5); 

int main() 
{ 
    // a, b, x, y are all constexpr, operator== is constexpr 
    // therefore I expected this to compile: 
    static_assert(x == y); 
    static_assert(a == b); 
} 

Với gcc-cốp, điều này không biên dịch bởi vì trong libstdC++ toán tử == không constexpr ở tất cả.

Với clang-trunk này cũng không thành công vì toán tử ==() được khai báo constexpr, nhưng sử dụng char_traits :: compare() không phải là constexpr.

Các lỗi này có nằm trong thư viện chuẩn không? Hay là kỳ vọng của tôi sai?

Nếu kỳ vọng của tôi sai, thì làm cách nào tôi có thể xây dựng chuỗi_view có thể được so sánh với constexpr?

Answer 1

string_view::operator== sử dụng char_traits<CharT>::compare để so sánh. std::char_traits<char>::compare không phải là constexpr, do đó, operator == không phải là constexpr.

Nếu bạn sử dụng triển khai char_traits thực hiện một constexpr compare, thì so sánh sẽ là constexpr.

Lưu ý rằng có một bài báo trước ủy ban tiêu chuẩn đề xuất làm cho các phương thức std::char_traits<>::compare (và các phương thức khác của lớp đó) constexpr.