Question

I would like to have the following method as a generic method for any array,

int arrayLength(`anyType` array[])
{
    return sizeof(array) / sizeof(array[0]);
}

However it appears C++ doesn’t allow any ambiguity of types at all,

why is this, and how should I go about getting around it?

Answer 1

Because types have to be pushed onto the stack and then popped back off, and the sizeof one type is not equal to the sizeof another type.

If the size of types being passed on the stack between functions is not fixed or known in advance, how can the compiler compile a function?

The solutions to this problem — as others have noted — is templates and macros, both of which dynamically generate code — which is then, in turn, compiled — at compile-time, appearing to “solve” the problem, but really only obviating or distracting you from it by offloading the work onto the compiler.