有没有统一函数类型限定符，简化可恶的函数类型的建议？

Question

在处理基于函数类型匹配的模板时， 可恶的函数类型组合可能是一个真正的痛苦（参见std::is_function ）。

各种限定符，包括 const、volatile、&、&&、noexcept（加上可变参数支持）可能会导致大量的模板特化。

但是， noexcept说明符允许使用布尔表达式noexcept(expr) ：

• noexcept等价于noexcept(true)作为默认值

所以，在未来，我们能不能想象用这个模型统一所有的限定词：

• const限定符将等同于const(true)
• volatile限定符将等同于volatile(true)
• &限定符将等同于&(true)
• &&限定符将等同于&&(true)

而且，锦上添花，使预选赛免赔额能够写出如下内容：

template <typename Fn>
struct function_traits;

template <typename R, bool CQ, bool VQ, bool LVRQ, bool RVRQ, bool NEQ, ARGS... Args>
struct function_traits<R(Args...) const(CQ) volatile(VQ) &(LVRQ) &&(RVRQ) noexcept(NEQ)>
{
    static constexpr bool is_const_qualified = CQ;
    static constexpr bool is_volatile_qualified = VQ;
    static constexpr bool is_lvalue_ref_qualified = LVRQ;
    ...
};

我想听听有关此类问题的任何想法。

Answer 1

我之前在 std-proposals 邮件列表上提出了类似的建议。 请参阅此处和此处的线程。

从这次讨论中得出的结论是，在语言中添加这样的特性需要大量的工作。 不仅需要在语言中添加规则来推导限定符的布尔参数，而且还有许多其他问题，例如限定符的实例化和评估点。 这种规模的提案也可能会引入许多其他必须解决的问题。

Gašper Ažman 似乎相信某种形式的“计算推论”将是更可行的问题的替代解决方案。 如果您有兴趣帮助完成这项工作，那么我建议您与他联系。