Странный синтаксис для передачи параметра const char для определения длины в качестве параметра шаблона. Что происходит?

Я нашел эту жемчужину в нашей кодовой базе.

constexpr bool ConstexprStrBeginsWithImpl(const char* str, const char* subStr)
{
    return !subStr[0] ? true : (str[0] == subStr[0] && ConstexprStrBeginsWithImpl(str + 1, subStr + 1));
}
template<int N, int M>
constexpr bool ConstexprStrBeginsWith(const char(&str)[N], const char(&subStr)[M])
{
    static_assert(M <= N, "The substring to test is longer than the total string");
    return ConstexprStrBeginsWithImpl(str, subStr);
}

Теперь я понимаю, что он делает (сравнивая две константные строки как constexpr), но что это за странный синтаксис вызова const char(&str)[N]? для вывода int-параметра шаблона с длиной константы char? Как это работает? Как это законный синтаксис? : -O

Я думал, вам нужно объявить параметр постоянного массива символов следующим образом: const char str[N]?

Если я использую эту - для меня более логичную - версию, то мои компиляторы (VCL и GCC) жалуются, что они не могут вывести int-параметр N при использовании constexpr в качестве параметра для другого шаблона с bool. Например, в этом сценарии:

template<bool B> struct Yada { int i = 23; };
template<> struct Yada<true> { int i = 42; };
int main()
{
    Yada<ConstexprStrBeginsWith("foobar", "foo")> y;
    std::cout << y.i;
}

Это компилируется только в том случае, если я объявляю str и subStr через const char(&str)[N], а не просто const char str[N].

Итак ... я счастлив, что он компилируется и выглядит, конечно, умно, но ... допустим ли этот синтаксис? Что здесь заявлено? : -О. #просто любопытно

Привет, Ими.