为什么std::iota常量表达式不是？

Question

下面的程序打印出一副洗过的牌(作为整数)：

#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 << ", ";
}

使用g++ -std=c++17编译后，程序将运行并打印：

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,

这很棒，但是直觉告诉我可以在编译时创建这个卡片组，所以我将shuffled_deck方法设为constexpr

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;
}

使用g++ -std=c++17编译时会出现编译错误，指出std::iota不是constexpr。我的问题是为什么？当然，std::iota在编译时是可确定的。标准库是不是在这个特性上落后了？

Answer 1

这应该被提议添加到标准中。从现在的情况来看，情况并非如此。