Apesar de ser flexível, C tem alguns "drawbacks" que não são muito explícitos. Um programa que abusa dos pontos fracos da linguagem tem o potencial de causar problemas, mas pode compilar sem nenhuma warning. Aqui estão as limitações do C:

• Namespace extremamente sujo e nomes de identificadores.
• Verificação relaxada de tipos de dados.
• Ausência completa de verificação de limites.
• Namespace sujo e nomes de identificadores.

Um espaço de nomes define um limite onde os nomes de identificadores podem ser declarados. Em C, o espaço de nomes é sempre global ou dentro do escopo de um bloco. Esta limitação traz um problema sério para aqueles que adoram usar variáveis globais. Pode acontecer que uma determinada variável global entre em conflito com outra que exista dentro de uma biblioteca, por exemplo, o que pode levar o programa a ter um comportamento completamente fora do esperado e sem uma causa clara mesmo em sessões de depuração. O efeito é que a variável muda seu conteúdo sem uma operação aparente.

O melhor é sempre evitar de criar variáveis globais. Se for imprescindível, tente prefixá-la com o nome do sistema, módulo, uma sigla, algo que você julgue que seja único. Variáveis globais, via de regra, denotam design ruim de um aplicativo. É totalmente possível viver sem elas. Apenas em alguns casos muito particulares é que se tem de lançar mão deste recurso, por não haver outra alternativa: tratamento de eventos assíncronos. Por exemplo, um handle de sinal que precisa salvar um status para uso posterior. Via de regra esse handle vai ter de lidar com alguma coisa que precisa ser persistido e que precisa ter seu status alterado de forma assíncrona, sem a intervenção direta do programa.

Um erro comum, também, está na forma como se define nomes. É comum ver programadores iniciando nomes com caractere sublinhado com a primeira letra seguinte maiúscula. O compilador não reclama desta prática mas o comitê ANSI-X3J11 convencionou que nomes que seguem esta linha são reservados ao implementador da biblioteca Standard C. Em outras palavras: evite de iniciar nomes com o caractere sublinhado tendo a segunda letra em maiúsculas.

Outra dica importante: a linguagem C suporta identificadores com, no máximo, 32 caracteres. Além dos 32 caracteres, o compilador trunca os nomes. Se dois nomes distintos tiverem os primeiros 32 caracteres iguais, o compilador irá tratá-los como o mesmo nome, o que pode gerar conflitos. Portanto, evite identificadores muito compridos.

Verificação relaxada de tipos de dados

O comitê ANSI tentou contornar este problema criando os protótipos de funções. Os protótipos de funções são uma forma de forçar o compilador a realizar uma checagem mais rígida dos parâmetros e tipos de retorno. Porém, o máximo que irá acontecer é o compilador lhe dar uma warning. É perfeitamente possível chamar uma função que espera receber um ponteiro para char com um número inteiro. Isso gera um executável que provavelmente fará alguma bobagem na memória.

Portanto, tome extremo cuidado com as atribuição dentro do seu código. Usar casts faz somente com que o compilador pare de reclamar. A melhor idéia é simplesmente verificar se os tipos são realmente compatíveis e usar do bom senso sempre.

Ausência de verificação de limites

Esta é uma característica dos vetores. Se o seu programa passar do fim de um vetor, passou. Vai acessar na memória sabe Deus lá o que. Tome extremo cuidado ao escrever rotinas que utilizem vetores, principalmente rotinas que trabalham com cadeias de caracteres. É muito comum em programas C esquecerem de que o fim de uma string precisa ter o caractere '\ 0'. Se o nosso querido '\ 0' não estiver dentro do vetor, significa que a string está aberta e um simples strcpy pode causar uma catástrofe no seu programa.