Considerações
Conforme documentação oficial, um array pode, apenas, ter chaves do tipo inteiro ou strings. O valor pode ser de qualquer tipo.
A chave pode ser um inteiro ou uma string. O valor pode ser de qualquer tipo.
Algumas coerções que podem ocorrer:
- Strings contendo inteiros válidos, serão convertidos para o tipo inteiro. Por exemplo, a chave
"8"
será, na verdade, armazenada como 8
. Entretanto, "08"
não será convertido, por não ser um inteiro decimal válido.
Portanto, o array ["8" => "foo"]
deve ser considerado como array de índices numéricos e não associativo.
- Floats também são convertidos para inteiros; isso significa que a parte fracionada será removida. Por exemplo, a chave
8.7
será na verdade armazenada como 8
.
Portanto, o array [8.7 => "foo"]
deve ser considerado como array de índices numéricos também.
Floats também serão convertidos para inteiros inclusive para valores negativos. A chave -5.6
será na verdade armazenada como -5
.
- Booleanos são convertidos para inteiros, igualmente; por exemplo, a chave
true
, será na verdade armazenada como 1
e a chave false
como 0
.
Portanto, o array [true => "foo", false => "bar]
deve ser considerado como array de índices numéricos também.
- Null será convertido para uma string vazia; por exemplo, a chave
null
na verdade será armazenada como ""
.
Portanto, o array [null => "foo"]
deve ser considerado como array associativo.
Outras considerações:
Arrays mistos, tal como ["foo", "key" => "bar"]
serão considerados como associativos, bem como de índices numéricos.
Um array de índices numéricos não deixa de sê-lo quando seus índices não forem sequenciais; portanto o array [1 => "foo", 0 => "bar"]
deve ser considerado, ainda, como de índices numéricos.
Semelhantemente, um array com índices numéricos que tiver um de seus valores removidos (ou que a sequência dos índices não for natural) também continuará sendo de índices numéricos; portanto o array [0 => "foo", 1 => "bar", 6 => "baz"]
deve ser considerado como de índices numéricos.
Contextos a serem testados
Atenção! Para o restante da resposta, adotou-se como padrão que um array dito sequencial é, na verdade, um array de índices numéricos, mas não necessariamente de índices sequenciais.
Dito isso, defini alguns testes que as funções devem ser submetidas:
/**
* Lista de testes que a função deve ser submetida.
*
* Cada item da lista deve ser um array com três índices.
* O primeiro, "array", com o array a ser testado pela função.
* O segundo, "is_sequential", um valor booleano esperado como retorno da função is_sequential.
* O terceiro, "is_associative", um valor booleano esperado como retorno da função is_associative.
*/
$tests = array();
// Teste 1: Array com índices numéricos sequenciais
$tests[] = [
"array" => ["a", "b", "c", "d", "e"],
"is_sequential" => true,
"is_associative" => false
];
// Teste 2: Array associativo
$tests[] = [
"array" => ["name" => "foo", "lastname" => "bar"],
"is_sequential" => false,
"is_associative" => true
];
// Teste 3: Array com chave do tipo string contendo inteiro válido
$tests[] = [
"array" => ["0" => "foo", "1" => "bar"],
"is_sequential" => true,
"is_associative" => false
];
// Teste 4: Array com índices do tipo float
$tests[] = [
"array" => [0.5 => "foo", -3.5 => "bar"],
"is_sequential" => true,
"is_associative" => false
];
// Teste 5: Array com índices do tipo booleanos
$tests[] = [
"array" => [true => "foo", false => "bar"],
"is_sequential" => true,
"is_associative" => false
];
// Teste 6: Array com índice nulo
$tests[] = [
"array" => [null => "foo"],
"is_sequential" => false,
"is_associative" => true
];
// Teste 7: Array misto
$tests[] = [
"array" => ["foo", "baz" => "bar"],
"is_sequential" => false,
"is_associative" => false
];
// Teste 8: Array de índices numéricos desordenados
$tests[] = [
"array" => [1 => "foo", 0 => "bar"],
"is_sequential" => true,
"is_associative" => false
];
// Teste 9: Array de índices numéricos ordenados não sequenciais
$tests[] = [
"array" => [0 => "foo", 1 => "bar", 6 => "baz"],
"is_sequential" => true,
"is_associative" => false
];
Solução
A solução mais simples que eu consigo ver é verificar o tipo das chaves do array, então:
/**
* Função que testa se o array é sequencial.
*
* @param array Array a ser testado
* @return bool True se $array for sequencial, False caso contrário
*/
function is_sequential (array $array) {
return array_filter($array, "is_int", ARRAY_FILTER_USE_KEY) == true;
}
/**
* Função que testa se o array é associativo.
*
* @param array Array a ser testado
* @return bool True se $array for associativo, False caso contrário
*/
function is_associative (array $array) {
return array_filter($array, "is_string", ARRAY_FILTER_USE_KEY) == true;
}
As soluções acima utilizam a coerção nativa do PHP em considerar um array não vazio como true
e um array vazio como false
. Portanto, se qualquer chave/valor do array passar pelo filtro definido, o array resultante será não vazio e a função retornará true
. Se nenhum par chave/valor passar pelo filtro, o array resultante será vazio e o retorno da função será false
.
Testes
A verificação dos testes é feita da seguinte forma:
try {
foreach ($tests as $i => $test) {
if ($test["is_sequential"] !== is_sequential($test["array"])) {
throw new Exception(sprintf("is_sequential: Algo errado não está certo! Teste %d falhou.", $i+1));
}
if ($test["is_associative"] !== is_associative($test["array"])) {
throw new Exception(sprintf("is_associative: Algo errado não está certo! Teste %d falhou.", $i+1));
}
}
echo "Parabéns! Sua função passou em todos os testes.", PHP_EOL;
} catch (Exception $e) {
echo $e->getMessage(), PHP_EOL;
}
Resultado
O resultado para as funções definidas pode ser encontrado no Repl.it, ou no Ideone.
Inconsistências
A solução apresentada acima funciona de acordo com as especificações do próprio PHP; isto é, se um array possuir pelo menos um valor que possa ser acessado via chave numérica, o array deve ser considerado array de índices numéricos; se o array possuir pelo menos um valor que possa ser acessado via chave do tipo string, o array deve ser considerado array associativo. Por isso, na solução apresentada, um array misto deve retornar verdadeiro para ambas as funções. A inconsistência (semântica) que esta solução gera se faz presente quando considerado o seguinte trecho de código:
if (is_sequential($array)) {
for ($i = 0; $i < count($array); $i++) {
echo $array[$i], PHP_EOL;
}
}
Ou seja, se o array for de índices numéricos, percorra todos os elementos e exiba-os na tela. Se o array for misto, um dos elementos não estará acessível desta forma e em algum momento o índice $i
não existirá, resultando no erro Undefined offset
.
Uma forma de contornar esta inconsistência é adicionar um novo parâmetro às funções denominado $strict
, do tipo booleano, que quando for verdadeiro, a função is_sequential
retorne verdadeiro apenas quando o array for estritamente de índices numéricos e a função is_associative
retorne verdadeiro apenas quando o array for estritamente associativo. Desta forma, a solução passaria a ser:
/**
* Função que testa se o array é sequencial.
*
* @param array Array a ser testado
* @param bool Define se a verificação deve ser de modo rigoroso
* @return bool True se $array for sequencial, False caso contrário
*/
function is_sequential (array $array, bool $strict = false) {
return array_filter($array, "is_int", ARRAY_FILTER_USE_KEY) == ($strict ? $array : true);
}
/**
* Função que testa se o array é associativo.
*
* @param array Array a ser testado
* @param bool Define se a verificação deve ser de modo rigoroso
* @return bool True se $array for associativo, False caso contrário
*/
function is_associative (array $array, bool $strict = false) {
return array_filter($array, "is_string", ARRAY_FILTER_USE_KEY) == ($strict ? $array : true);
}
Desta forma, o exemplo supracitado passaria a ser:
// Array puramente de índices numéricos
$array = ["foo", "baz", "bar"];
// Passará pela condição e será exibido
if (is_sequential($array, true)) {
for ($i = 0; $i < count($array); $i++) {
echo $array[$i], PHP_EOL;
}
}
// Array misto
$array = ["foo", "baz" => "bar"];
// Não passará pela condição e não será exibido
if (is_sequential($array, true)) {
for ($i = 0; $i < count($array); $i++) {
echo $array[$i], PHP_EOL;
}
}
Este exemplo pode ser visto no Repl.it ou no Ideone.
Outras soluções apresentadas
Nota: As verificações abaixo, das outras soluções apresentadas aqui, são apenas para efeito de comparação quando considerado todas as situações previstas pela documentação, através das coerções supracitadas. É esperado que as mesmas falharão em alguns testes, pois estas não levam em consideração todas as situações citadas. Esta comparação não deve ser vista como uma forma de demérito da minha parte, desmerecendo os respectivos autores. Inclusive acredito fielmente que qualquer tipo de conteúdo aqui é aproveitado de alguma forma.
A solução apresentada aqui, por BrunoRB, falharia nos testes 4, 5, 7, 8 e 9. Ver os testes aqui.
A solução apresentada aqui, por Guilherme Nascimento, falharia nos testes 4, 5, 7, 8 e 9. Ver os testes aqui.
A solução apresentada aqui, por Wallace Maxters, falharia nos testes 4, 5, 7, 8 e 9. Ver os testes aqui.
A solução apresentada aqui (adaptada), por Andrei Coelho, falharia nos testes 4, 7 e 9. Ver os testes aqui.
x
é númerico, oux
é associativo oux
é misto. Vejo zebras hahaha :Darray
no PHP querendo ou não é uma coisa bagunçada!