Функция как константное выражение в вызываемой функции

Ну давайте подумаем. constexpr - это что-то, известное во время компиляции.

void 
foo(const size_t n)
{
    constexpr size_t k = param(n); //error
    //...
}

Как тут может быть k известно во время компиляции, если оно зависит от n, которое известно во время выполнения программы?

Update

Попробую своими словами :), не знаю, насколько они стыкуются с буквой стандарта - возможно, в каком-то пункте и не 100% точно.

constexpr для переменной означает, что она обязана быть определена во время компиляции.

constexpr для функции означает, что она может быть вычислена компилятором во время компиляции, т.е. что ее результат может быть присвоен constexpr-переменной (очевидно, что если ее аргументы - тоже constexpr).

Очевидно также, что если все вызовы такой функции выполнены во время компиляции - то ее просто незачем компилировать и превращать в код. Если не все - то она будет скомпилирована, как обычная функция, так сказать, с игнорированием описания constexpr.

Это дополнение внесло ясность?

У нас есть 2 функции.

Первая:

constexpr int param(const size_t n) 
{ 
return n + 1; 
}

Вторая:

void foo(const size_t n)
{
    constexpr size_t k = param(n); //error
    //...
}

Как я понял автора, он желает узнать почему функция param не вычисляется во время компиляции. Для начала поймём, что такой constexpr.

Спецификатор constexpr введен для того, чтобы заставить компилятор на этапе кмпиляции создавать объекты и использовать их как константы времени компиляции.

Смотрим теперь на наши функции, мы вызываем функцию param из функции foo. Зададим вопрос, а как выполнится эта строка constexpr size_t k = param(n); во время компиляции? Никак, потому что мы не можем во время компиляции получить откуда-то параметр n, который требуется в функции foo.

Тут 2 варианта выхода из ситуации:

1. Изменить код программы, чтобы все функции могли получить нужные параметры на момент компиляции.
2. Выполнить в рантайме и можно смело удалить constexpr.