两个指针之间的区别是合法的c 17常量表达式吗？

根据 cppreference节核心常量表达式指出19)两个指针之间的减法运算符不是合法的常量表达式,直到c 14.我可以假设下面的代码是合法的c 17代码还是这种解释是滥用？

int X,Y;

template <long long V>
struct S { };

int main() {
    S<&X - &Y> s;
    (void)s;
}

解决方法

这个问题没有实际意义.指针算术只在属于同一个数组的指针上定义,当然不是这种情况.因此,上面的代码不是合法的C,实际上,无法使用我可用的编译器进行编译.