struct
é algo para você agrupar dados heterogêneos que seriam isolados para serem tratados como uma coisa só, é dar coesão a um tipo de objeto que você está criando, então qual o sentido de que eles estejam separados? Que ganhos espera ter com isso? São contínuos porque é justamente o que deseja, que tudo aquilo seja algo junto.
O mesmo vale para um array, o objetivo dele é ter um conjunto de dados homogêneos que seriam isolados ficando como uma coisa só e que possa ser acessado com complexidade constante (O(1)) o que exige que a posição exata seja conseguida através de uma aritmética simples, o que impede que cada elemento esteja espalhado pela memória, mas isso é até mais consequência do motivo anterior.
Essa aritmética é o endereço de memória do elemento inicial mais a posição simples do elemento (índice) vezes o tamanho de cada objeto individual (por isso o objeto precisa ter o mesmo tamanho).
Em ambos você quer que aquilo seja um objeto só, então seria difícil que não fosse contínuo. Você não pode ter um terreno único com outros no meio, se tiver buracos você tem vários terrenos e não um só. As duas formas são maneiras de ter algo junto.
Isto tem consequências importantes para o que vai fazer depois por causa desta organização. Tenha certeza que essas formas existem justamente para ter tudo de forma continua. Não tenho fácil algo da especificação, mas posso te garantir que tem nela algo dizendo que isto é garantido para estes dois casos.
Como esses dados são sempre acessados por um ponteiro, mesmo que você não veja isto (o membro da estrutura não exatamente um ponteiro dinâmico, mas de forma análoga que é resolvida já pelo compilador) pode confiar que acessará de forma adequada, embora para o caso da struct
a aritmética da memória é feita de forma que você nem tem controle sobre a continuidade.
Claro que o acesso fora da região do objeto já não funciona direito.
Isto pode ajudar.
Um objeto contínuo é diferente de continuidade entre objetos
Se está falando de um objeto ter sido alocado depois do outro, isso é normal no stack já que os objetos são empilhados continuamente, novamente para ter uma performance muito boa (leia mais). Se estivesse alocando no heap seria quase coincidência. É verdade que a maioria dos casos ficarão seguidos, afinal em um caminhão quando você vai carregando vai colocando uma caixa lodo atrás da outra ou acima das outras de forma organizada, na memória é igual. Claro que você pode ter compartimentos e algumas coisas ficam um pouco fora de ordem, por isso nunca considere que alocação no heap terão dois objetos distintos logo em seguida (não confundir com membros ou elementos internos desse objeto, esses de alguma forma ficam contínuos, pelo menos na visão mais abstrata).
Note que nada garante que no stack um objeto será alocado em continuo a outro também, é bem mais comum, mas há alguns casos que isso pode não ser verdade em algumas implementações (desconheço uma que seja assim), por isso só confie na continuidade interna do objeto.
Coloquei no GitHub para referência futura.