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

Question

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

int X, Y;

template <long long V>
struct S { };

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

Answer 1

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