a[b] is semantically equal to *(a+b). Not sure what the string constant definition has to do with it.