Zero-length C-array binds to pointer type

Question

I recently wrote a function template which takes a reference to a C-array:

template 
void foo(T(&c_array)[N]);

Answer 1

As arrays must have greater than zero length, if your compiler erroneously accepts a definition of a zero-sized array then you're "safely" outside of the scope of the language standard. There's no need for you to handle the edge case of N == 0.

This is true in C++: 8.3.5 [dcl.array]: If the constant-expression (5.19) is present, it shall be an integral constant expression and its value shall be greater than zero.