constexpr函數必須有一個參數值？

Question

根據this，與constexpr聲明的函數必須滿足幾個要求，其中之一是如下：

存在至少一個參數值使得函數的調用可以被評估核心常量表達式的子表達式...

好，constexpr功能可以沒有參數：

constexpr int Bar(/* empty */) { return 0xFF; } 
constexpr int value = Bar(); // Valid expression 

constexpr作爲子程序調用的函數無法將整個表達式確定爲核心常量表達式。

那麼一個參數的值是什麼意思？

[更新爲未來的讀者]

顯然關於constexpr function要求的描述中已被固定，因爲從這樣一個問題：

存在至少一個參數值使得函數的調用可以是核心常量表達式的評估子表達式...

到：

存在至少一組參數的值使得函數的調用可以是芯常量表達式的評估子表達式...

Answer 1

從en.cppreference.com引證是在問候標準不準確的，真正的報價（§ 7.1.5/5）：

對於constexpr功能或構造constexpr既不是默認的也不一個模板，如果沒有參數值存在，使得函數或構造函數的調用可以是核心常量表達式的一個評估子表達式（5.20）[...]該程序不合格;不需要診斷。

基本上說，必須存在一個有效的參數集合（在你的情況下，空集合是一個有效的集合）。

Answer 2

「的一個論點價值「在這裏意味着」一組參數「。 Nullary函數有一個可能的參數集，即空集。

在你的情況，這個單一的空參數集確實會導致有效的constexpr調用，所以一切都很好。