为什么使用三元运算符的数组初始化是非法的？

Question

C让我char经常交替使用指针和数组,我经常认为它们是完全可互换的.但是下面的代码证明了这不是真的.任何人都可以解释为什么在const char d[]下面的代码中使用三元运算符的初始化是非法的？

/* main.c */
#include <stdio.h>

int main()
{
  const char* a = "lorem";
  const char b[] = "ipsum";
  int* p;
  const char* c = ( *p ? "dolor" : "sit" );
  const char d[] = ( *p ? "amet" : "consectetur" ); // Why am I an error?
  return 0;
}

汇编:

> gcc -g main.c 
main.c: In function \u2018main\u2019:
main.c:10:20: error: invalid initializer
   const char d[] = ( *p ? "amet" : "consectetur" ); // Why am I an error?

相关问题:如果我的术语在这里不精确:正确的术语是const char d[]什么？它是一个阵列吗？一个可变长度的数组？别的什么？它不被认为是指针 - 真的吗？

编辑:我相信使用三元运算符进行数组初始化无法解答这个问题？

RE:引用的问题,我认为前提略有不同.例如,接受的答案解释了{ 1, 2 };(或{ 'a', 'b' );)不是有效的C表达,我已经知道并接受.但是"amet";并且"consectetur";是有效的C表达式.

Answer 1

6.7.9初始化

...
14字符类型数组可以由字符串文字或UTF-8字符串文字初始化,可选择用大括号括起来.字符串文字的连续字节(如果有空间或数组大小未知,则包括终止空字符)初始化数组的元素.

^{C 2011在线草案}

( *p ? "amet" : "consectetur" )是不是一个字符串,也没有评估到一个字符串.它计算为一个类型的表达式,char *它本身不是一个有效的数组初始化程序,并且直到运行时才会进行评估.

更不用说,p是未初始化的,所以表达式一开始就是未定义的.