为什么分解声明不能是 constexpr？

Question

考虑以下 sn-p 来测试即将推出的 C++17 功能分解声明（以前称为结构化绑定）

#include <cassert>
#include <utility>

constexpr auto divmod(int n, int d)
{
    return std::make_pair(n / d, n % d); // in g++7, also just std::pair{n/d, n%d}
}

int main()
{
    constexpr auto [q, r] = divmod(10, 3);
    static_assert(q == 3 && r ==1);
}

这在 g++7-SVN 和 clang-4.0-SVN 上都失败了，消息是：

分解声明不能声明为'constexpr'

删除constexpr 定义并更改为常规assert() 对两种编译器都有效。

关于此功能的 WG21 论文均未提及 constexpr 关键字，无论是正面的还是负面的。

问题：为什么不允许分解声明为constexpr？ （除了“因为标准这么说”）。

Answer 1

问题：为什么不允许分解声明为 constexpr？ （除了“因为标准这么说”）。

没有其他原因。该标准在 [dcl.dcl] p8 中说：

decl-specifier-seq 应仅包含 type-specifier auto (7.1.7.4) 和 cv-qualifiers。

这意味着它不能用constexpr 声明。

这是 C++17 CD 上 National Body 评论的主题，请参阅P0488R0 中的 US-95：

评论：没有明显的原因分解 声明不能声明为静态， thread_local 或 constexpr。
建议的更改： 允许 constexpr、static 和 thread_local 到 允许的 decl-specifiers 集。

注释 GB 16 和 GB 17 也是相关的。

进化工作组在 2016 年 11 月的会议上审查后，这些评论被拒绝用于 C++17。目前尚不清楚某些存储类在结构化绑定声明中意味着什么，以及如何更改规范以允许constexpr（仅在语法中允许它不会说明它的含义）。需要一份探索设计空间的论文。将来应该可以在不破坏任何代码的情况下更改它，但是对于 C++17 没有时间这样做。