Как компиляция и связывание влияют на объявления constexpr в нескольких файлах на C++?

Я пытаюсь понять взаимосвязь между компиляцией, связыванием и определением значений constexpr в C++. Я знаю, что значения constexpr должны быть полностью определены во время компиляции, но некоторые обсуждения предполагают, что они определяются в течение всего процесса трансляции, который включает как компиляцию, так и связывание. Например, рассмотрим следующий отрывок из книги «Эффективный современный C++», который меня смутил:

«Концептуально, constexpr указывает на значение, которое не только постоянное, но и но также известен во время компиляции. Технически их значения определяется в ходе перевода, а перевод состоит не только из компиляция, но и связывание. Если вы не пишете компиляторы или компоновщики однако для C++ это на вас не повлияет, так что вы можете беспечно программе, как если бы значения объектов constexpr были определены во время компиляция».

В моем случае я написал следующий код в source.cpp:

#include <string_view>
constexpr std::string_view c = "Hello world";

constexpr  std::string_view  func()
{
    return c;
}

В main.cpp я попытался использовать упреждающие объявления для этих значений constexpr, но столкнулся с проблемами, которые помешали успешной компиляции.

#include <array>
#include <iostream>
#include <string_view>

constexpr  std::string_view  func();

int main()
{
    constexpr  std::string_view s = func();
    constexpr size_t l = s.size();
    std::array<int, l> arr;
    std::cout << arr.size() << '\n';
}

Теперь я в замешательстве из-за того, что написано в книге, и, похоже, это противоречит этому примеру и следующим ошибкам:

main.cpp:10:22: Constexpr variable 'l' must be initialized by a
constant expression main.cpp:10:28: initializer of 's' is not a
constant expression main.cpp:9:33: declared here

но когда я помещаю весь код в main.cpp, он компилируется.