Tại sao không phải là tiêu chuẩn :: iota constexpr?

Question

Chương trình sau in ra một cỗ xáo trộn của thẻ (như số nguyên):

#include <array> 
#include <algorithm> 
#include <random> 
#include <iostream> 

typedef unsigned int card; 
typedef std::array<card, 52> deck; 
auto shuffled_deck(){ 
    deck d = {}; 
    std::iota(d.begin(), d.end(), 0); 
    std::shuffle(d.begin(), d.end(), std::default_random_engine()); 
    return d; 
} 

int main(){ 
    for(auto& i: shuffled_deck()) std::cout << i << ", "; 
} 

Biên soạn với g++ -std=c++17 chương trình chạy và in:

18, 34, 27, 46, 11, 3, 12, 19, 33, 21, 41, 13, 36, 49, 40, 22, 8, 9, 28, 2, 6, 30, 50, 24, 37, 32, 35, 4, 15, 45, 47, 43, 14, 44, 20, 23, 29, 7, 31, 51, 26, 10, 42, 48, 0, 38, 5, 16, 17, 1, 25, 39, 

này là rất tốt, nhưng trực giác nói với tôi rằng đây có thể được tạo tại thời điểm biên dịch, vì vậy, tôi thực hiện phương thức shuffled_deckconstexpr

constexpr auto shuffled_deck(){ 
    deck d = {}; 
    std::iota(d.begin(), d.end(), 0); // Error! Iota isn't constexpr! 
    std::shuffle(d.begin(), d.end(), std::default_random_engine()); 
    return d; 
} 

Com cọc với g++ -std=c++17 cho bạn lỗi biên dịch nói rằng std::iota không phải là constexpr. Câu hỏi của tôi là tại sao? Chắc chắn std::iota là yếu tố quyết định tại thời gian biên dịch. Thư viện chuẩn có bị tụt hậu so với tính năng này không?

Answer 1

Điều này sẽ được đề xuất để được thêm vào tiêu chuẩn. Vì nó đứng ngay bây giờ nó chỉ là không.