Compartilhar via


Asserções C/C++

Uma instrução de declaração especifica uma condição que você espera ser verdadeira em um ponto específico em seu programa. Se essa condição não for verdadeira, a asserção falhará, a execução do programa será interrompida e a caixa de diálogo Falha na Asserção será exibida.

O Visual C++ dá suporte a instruções de declaração baseadas nos seguintes constructos:

  • Asserções MFC para programas MFC.

  • ATLASSERT para programas que usam ATL.

  • Asserções de CRT para programas que usam a biblioteca em tempo de execução C.

  • A função assert ANSI para outros programas C/C++.

    Você pode usar asserções para capturar erros lógicos, para verificar os resultados de uma operação e para testar condições de erro que deveriam ter sido tratadas.

Neste tópico

Como funcionam as asserções

Asserções em builds de depuração e de versão

Efeitos colaterais do uso de asserções

Asserções CRT

Asserções MFC

Como funcionam as asserções

Quando o depurador é interrompido devido a uma asserção MFC ou da biblioteca em tempo de execução C, então, se a origem está disponível, o depurador navega até o ponto no arquivo de origem onde a asserção ocorreu. A mensagem da asserção aparece na Janela de Saída e na caixa de diálogo Falha na Asserção. Você pode copiar a mensagem da asserção da janela de Saída para uma janela de texto caso deseje salvá-la para referência futura. A janela Saída também pode conter outras mensagens de erro. Examine essas mensagens com cuidado, pois elas fornecem indícios da causa da falha de asserção.

Use asserções para detectar erros durante o desenvolvimento. Em geral, use uma asserção para cada suposição. Por exemplo, se você supõe que um argumento não é NULL, use uma asserção para testar essa suposição.

Neste tópico

Asserções em compilações de depuração e de liberação

As instruções de declaração são compiladas apenas se _DEBUG é definido. Caso contrário, o compilador trata as asserções como instruções nulas. Em virtude disso, as instruções de declaração não impõem nenhuma sobrecarga ou custo de desempenho no seu programa da versão final, e permitem que você evite usar políticas #ifdef.

Efeitos colaterais do uso de asserções

Quando adicionar asserções ao seu código, verifique se elas não têm efeitos colaterais. Por exemplo, considere a seguinte asserção que altera o valor de nM:

ASSERT(nM++ > 0); // Don't do this!

Como a expressão ASSERT não é avaliada na versão de liberação do programa, nM terá valores diferentes nas versões de depuração e de liberação. Para evitar esse problema no MFC, você pode usar a macro VERIFY em vez de ASSERT. VERIFY avalia a expressão em todas as versões, mas não verifica o resultado na versão de Lançamento.

Tenha cuidado especial quando usar chamadas de função em instruções de declaração, porque a avaliação de uma função pode ter efeitos colaterais inesperados.

ASSERT ( myFnctn(0)==1 ) // unsafe if myFnctn has side effects
VERIFY ( myFnctn(0)==1 ) // safe

VERIFY chama myFnctn nas versões de depuração e de liberação, portanto seu uso é aceitável. Contudo, o uso de VERIFY impõe a sobrecarga de uma chamada de função desnecessária na versão de liberação.

Neste tópico

Asserções CRT

O arquivo de cabeçalho CRTDBG.H define as macros _ASSERT e _ASSERTE para verificação de declaração.

Macro Result
_ASSERT Se a expressão especificada for avaliada como FALSE, o nome do arquivo e o número de _ASSERT.
_ASSERTE Mesmo que _ASSERT, mais uma representação de cadeia de caracteres de expressão que foi declarada.

_ASSERTE é mais avançada porque informa a expressão declarada que foi avaliada como FALSE. Isso pode ser suficiente para identificar o problema sem consultar o código-fonte. Porém, a versão de depuração do seu aplicativo conterá uma constante de cadeia de caracteres para cada expressão declarada usando _ASSERTE. Se você usar muitas macros _ASSERTE, essas expressões de cadeia de caracteres ocuparão uma quantidade significativa de memória. Se isso for um problema, use _ASSERT para economizar memória.

Quando _DEBUG é definido, a macro _ASSERTE é definida da seguinte forma:

#define _ASSERTE(expr) \
    do { \
        if (!(expr) && (1 == _CrtDbgReport( \
            _CRT_ASSERT, __FILE__, __LINE__, #expr))) \
            _CrtDbgBreak(); \
    } while (0)

Se a expressão declarada é avaliada como FALSE, _CrtDbgReport é chamado para informar a falha de asserção (usando uma caixa de diálogo de mensagem por padrão). Se você escolher Repetir na caixa de diálogo de mensagem, _CrtDbgReport retornará 1 e _CrtDbgBreak chamará o depurador com DebugBreak.

Se você precisar desabilitar temporariamente todas as declarações, use _CtrSetReportMode.

Verificando a corrupção do heap

O exemplo a seguir usa _CrtCheckMemory para verificar se há corrupção de heap:

_ASSERTE(_CrtCheckMemory());

Verificando a validade do ponteiro

O exemplo a seguir usa _CrtIsValidPointer para verificar se um determinado intervalo de memória é válido para leitura ou gravação.

_ASSERTE(_CrtIsValidPointer( address, size, TRUE );

O exemplo a seguir usa _CrtIsValidHeapPointer para verificar se um ponteiro aponta para a memória no heap local (o heap criado e gerenciado por essa instância da biblioteca em tempo de execução C — uma DLL pode ter sua própria instância de biblioteca e, consequentemente, seu próprio heap, fora do heap do aplicativo). Essa asserção captura endereços zero ou de fora dos limites, mas também ponteiros para variáveis estáticas, variáveis de pilha e qualquer outra memória não local.

_ASSERTE(_CrtIsValidHeapPointer( myData );

Verificando um bloco de memória

O exemplo a seguir usa _CrtIsMemoryBlock para verificar se um bloco de memória está no heap local e tem um tipo de bloco válido.

_ASSERTE(_CrtIsMemoryBlock (myData, size, &requestNumber, &filename, &linenumber));

Neste tópico

Asserções MFC

O MFC define a macro ASSERT para verificação de asserção. Também define os métodos MFC ASSERT_VALID e CObject::AssertValid para verificar o estado interno de um objeto derivado de CObject.

Se o argumento da macro ASSERT do MFC for avaliado como zero ou false, a macro interromperá a execução do programa e alerta o usuário; caso contrário, a execução continuará.

Quando uma asserção falha, uma caixa de diálogo de mensagem mostra o nome do arquivo de origem e o número da linha da asserção. Se você escolher Repetir na caixa de diálogo, uma chamada a AfxDebugBreak fará com que a execução seja interrompida no depurador. Nesse ponto, você pode examinar a pilha de chamadas e usar outros recursos do depurador para determinar o motivo da falha de asserção. Se você habilitou a depuração Just-In-Time e o depurador não estava sendo executado, a caixa de diálogo pode iniciar o depurador.

O exemplo a seguir mostra como usar ASSERT para verificar o valor de retorno de uma função:

int x = SomeFunc(y);
ASSERT(x >= 0);   //  Assertion fails if x is negative

Você pode usar ASSERT com a função IsKindOf para fornecer a verificação de tipo dos argumentos da função:

ASSERT( pObject1->IsKindOf( RUNTIME_CLASS( CPerson ) ) );

A macro ASSERT não produz nenhum código na versão de liberação. Se for necessário avaliar a expressão na versão de liberação, use a macro VERIFY em vez de ASSERT.

MFC ASSERT_VALID e CObject::AssertValid

O método CObject::AssertValid fornece verificações de tempo de execução do estado interno de um objeto. Embora não seja necessário substituir AssertValid quando você deriva a sua classe de CObject, é possível tornar sua classe mais confiável fazendo isso. AssertValid deve executar asserções em todas as variáveis de membro do objeto para verificar se contêm valores válidos. Por exemplo, ela deve verificar se as variáveis de membro do ponteiro não são NULL.

O exemplo a seguir mostra como declarar uma função AssertValid:

class CPerson : public CObject
{
protected:
    CString m_strName;
    float   m_salary;
public:
#ifdef _DEBUG
    // Override
    virtual void AssertValid() const;
#endif
    // ...
};

Quando você substitui AssertValid, chame a versão da classe base de AssertValid antes de executar suas próprias verificações. Em seguida, use a macro ASSERT para verificar os membros exclusivos da sua classe derivada, como mostrado a seguir:

#ifdef _DEBUG
void CPerson::AssertValid() const
{
    // Call inherited AssertValid first.
    CObject::AssertValid();

    // Check CPerson members...
    // Must have a name.
    ASSERT( !m_strName.IsEmpty());
    // Must have an income.
    ASSERT( m_salary > 0 );
}
#endif

Se alguma das variáveis de membro armazena objetos, você pode usar a macro ASSERT_VALID para testar a validade interna (caso as classes substituam AssertValid).

Por exemplo, considere uma classe CMyData, que armazena uma CObList em uma das suas variáveis de membro. A variável CObList, m_DataList, armazena uma coleção de objetos CPerson. Uma declaração abreviada de CMyData é semelhante a esta:

class CMyData : public CObject
{
    // Constructor and other members ...
    protected:
        CObList* m_pDataList;
    // Other declarations ...
    public:
#ifdef _DEBUG
        // Override:
        virtual void AssertValid( ) const;
#endif
    // And so on ...
};

A substituição de AssertValid em CMyData é semelhante a esta:

#ifdef _DEBUG
void CMyData::AssertValid( ) const
{
    // Call inherited AssertValid.
    CObject::AssertValid( );
    // Check validity of CMyData members.
    ASSERT_VALID( m_pDataList );
    // ...
}
#endif

CMyData usa o mecanismo AssertValid para testar a validade dos objetos armazenados no membro de dados. A AssertValid que substitui CMyData invoca a macro ASSERT_VALID para sua própria variável de membro m_pDataList.

Os testes de validade não interrompem nesse nível porque a classe CObList também substitui AssertValid. Essa substituição executa testes adicionais de validade do estado interno da lista. Assim, um teste de validade em um objeto CMyData resulta em testes adicionais de validade para os estados internos de objetos armazenados na lista CObList.

Com um pouco mais de trabalho, você pode adicionar teste de validade para os objetos CPerson armazenados na lista também. Você pode derivar uma classe CPersonList de CObList e substituir AssertValid. Na substituição, você deve chamar CObject::AssertValid e iterar na lista, chamando AssertValid em cada objeto CPerson armazenado na lista. A classe CPerson mostrada no início deste tópico já substitui AssertValid.

Este é um mecanismo avançado quando você compila para depuração. Quando posteriormente você compila para liberação, o mecanismo é desativado automaticamente.

Limitações de AssertValid

Uma asserção disparada indica que o objeto está incorretamente definido e a execução será parada. No entanto, uma falta de asserção apenas indica que nenhum problema foi encontrado, mas que não há garantia de que o objeto seja bom.

Neste tópico

Usando asserções

Capturando erros lógicos

Você pode definir uma asserção em uma condição que deve ser verdadeira de acordo com a lógica do programa. A asserção não tem nenhum efeito a menos que ocorra um erro lógico.

Por exemplo, suponha que você esteja simulando moléculas de gás em um contêiner e que a variável numMols representa o número total de moléculas. Esse número não pode ser menor que zero, então você pode incluir uma instrução de declaração de MFC como esta:

ASSERT(numMols >= 0);

Ou você pode incluir uma asserção de CRT como esta:

_ASSERT(numMols >= 0);

Essas instruções não fazem nada se seu programa está funcionando corretamente. Se um erro lógico fizer com que numMols seja menor que zero, entretanto, a declaração paralisa a execução do programa e exibe a Caixa de diálogo Falha na Declaração.

Neste tópico

Verificando resultados

As asserções são valiosas para testar operações cujos resultados não são óbvios em uma inspeção visual rápida.

Por exemplo, considere o seguinte código, que atualiza a variável iMols com base no conteúdo da lista vinculada apontada por mols:

/* This code assumes that type has overloaded the != operator
 with const char *
It also assumes that H2O is somewhere in that linked list.
Otherwise we'll get an access violation... */
while (mols->type != "H2O")
{
    iMols += mols->num;
    mols = mols->next;
}
ASSERT(iMols<=numMols); // MFC version
_ASSERT(iMols<=numMols); // CRT version

O número de moléculas contadas por iMols deve ser sempre menor ou igual ao número total de moléculas, numMols. A inspeção visual do loop não mostra que esse será necessariamente o caso, por isso uma instrução de declaração é usada após o loop para testar a condição.

Neste tópico

Localizando erros sem tratamento

Você pode usar asserções para testar condições de erro em um ponto no seu código onde todos os erros devem ser manipulados. No exemplo a seguir, uma rotina gráfica retorna um código de erro ou zero para êxito.

myErr = myGraphRoutine(a, b);

/* Code to handle errors and
   reset myErr if successful */

ASSERT(!myErr); -- MFC version
_ASSERT(!myErr); -- CRT version

Se o código de tratamento de erros funcionar corretamente, o erro será tratado e myErr será redefinido como zero antes que a asserção seja atingida. Se myErr tiver outro valor, a declaração falhará, o programa será interrompido e a Caixa de diálogo Falha na Declaração será exibida.

Apesar disso, as instruções de declaração não substituem o código de tratamento de erros. O exemplo a seguir mostra uma instrução de declaração que pode resultar em problemas no código da versão de liberação final:

myErr = myGraphRoutine(a, b);

/* No Code to handle errors */

ASSERT(!myErr); // Don't do this!
_ASSERT(!myErr); // Don't do this, either!

Esse código depende da instrução de declaração para tratar a condição de erro. Como resultado, todo código de erro retornado por myGraphRoutine não será tratado no código da versão de liberação final.

Neste tópico