UB 是否将 void 指针与 C 中的类型化指针进行比较（是否相等）？

Question

我有一个类型化的指针typed，它是使用指针算法初始化的，以指向数组中的一个对象。我还有一个函数，它接受两个指针参数，第一个类型与上述指针相同，第二个是void *（请参阅下面代码中的myfunc()）。

如果我将typed 作为第一个参数传递，另一个与typed 类型相同的指针作为第二个参数传递，然后在函数内比较它们是否相等，这是未定义的行为吗？

#include <stdio.h>

typedef struct S {int i; float f;} s;

void myfunc(s * a, void * b)
{
  if (a == b)  // <-------------------------------- is this UB?
    printf("the same\n");
}

int main()
{
  s myarray[] = {{7, 7.0}, {3, 3.0}};
  s * typed = myarray + 1;
  myfunc(typed, &(myarray[0]));

  return 0;
}

---

更新：好的，所以我在上面发布我的问题后一天回来，有两个很好的答案（感谢@SouravGhosh 和@dbush）。一个比另一个早了不到一分钟（！），但从第一个 cmets 的外观来看，答案最初是错误的，只有在第二个答案发布后才更正。我接受哪一个？在这种情况下，是否有一种协议可以接受一个答案而不是另一个答案？

Answer 1

不，这不是未定义的行为。这是在等式运算符约束的规范中允许并明确定义的。引用C11，第 6.5.9 章

一个操作数是一个指向对象类型的指针，另一个是一个指向限定或非限定版本的 void 的指针；

来自同一章的第 5 段

[...] 如果一个操作数是指向对象类型的指针，而另一个是指向 void 的限定或非限定版本的指针，则前者将转换为后者的类型。

Answer 2

这种比较定义明确。

当通过== 将void * 与另一个指针类型进行比较时，另一个指针将转换为void *。

此外，C standard 的第 6.5.9p6 节对与 == 的指针比较进行了以下说明：

当且仅当两个指针都是空指针时，两个指针比较相等 是指向同一对象的指针（包括指向对象的指针和 开头的子对象）或函数，两者都是指向一个的指针 超过同一个数组对象的最后一个元素，或者一个是指向 一个超过一个数组对象的末尾，另一个是指向 立即发生的不同数组对象的开始 跟随地址空间中的第一个数组对象。

这里没有提到未定义的行为。