p[0]作为for循环的判断条件

有如下for循环的例子
char s[]=“Hello”;
char *p;
for(p=s;p[0];++p)
{
cout<<*p
}

关于上边一段代码，p[0]这个作为判断条件不是很理解

大神给讲的是 for（初始操作；判断；判断后操作）

其中第二个是判断条件，只要为真，for循环就要继续执行
第一次，p=s赋值，则p[0]=s[0], p增长后，p[0]=s[1],后边继续p[0]=s[2],继续，当p[0]=s[6]的时候，此时碰到"\0" 则退出循环了

当然p[0]=p=(p+0) 这个地方p在增长，他指向的p[0]也在增长，增长到一定程度就退出了

这是我的理解，希望各位朋友批评指正