两个指针合法的 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++，事实上，无法使用我可用的编译器进行编译。

Answer 2

引用的 cppref article 说

A core constant expression is any expression that does not have any one of the following ..

7) An expression whose evaluation leads to any form of core language (since C++17) undefined behavior (including signed integer overflow, division by zero, pointer arithmetic outside array bounds, etc). Whether standard library undefined behavior is detected is unspecified. (since C++17)

19) a subtraction operator between two pointers(until C++14)

自 c++14 以来，可能只有数组边界内的数组 ptr 算术得到 'legalized'，并非所有指针算术

实际上 demo 表明即使使用 c++11（不是 c++98），数组 ptr 算术也可以正常编译

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

Is difference between two pointers legal c++17 constant expression?

c++

language-lawyer

constant-expression

c++17