template pointer parameter pack

Question

Why a template function with a template parameter pack of pointers cannot be instantiated with offsets of the same pointer?

I mean: given this short code why must I comment out the last two lines?

template <int * ... pt> void f() {}

int n[] = {1, 2, 3};
int m = n[1];

int main()
{
    f<n>();  // this is accepted
    f<n, &m>();  // this is accepted too
    //f<n, n+1>(); // this is not.
    //f<n, &n[1]>(); // this isn't accepted neither
}

Doesn't n+1 represent the same address as &m ? Or there is a difference in the linkage? Or what else?

Answer 1

See cppreference.com - Template non-type arguments

• For pointers to objects, the template arguments have to designate the address of an object with static storage duration and a linkage (either internal or external), or a constant expression that evaluates to the appropriate null pointer or std::nullptr_t value.

...

The only exceptions are that non-type template parameters of reference and pointer type cannot refer to/be the address of

• a subobject (including non-static class member, base subobject, or array element);
• a temporary object (including one created during reference initialization);

So the address of an array element is not allowed.