instrução if-else (C++)

Uma instrução if-else controla a ramificação condicional. As instruções no são if-branch executadas somente se a condition avaliação for um valor diferente de zero (ou true). Se o valor for diferente de condition zero, a instrução a seguir será executada e a instrução após o opcional else será ignorada. Caso contrário, a instrução a seguir será ignorada e, se houver uma instrução else após a execução else , ela será executada.

condition as expressões que são avaliadas como não zero são:

• true
• um ponteiro não nulo,
• qualquer valor aritmético diferente de zero ou
• um tipo de classe que define uma conversão inequívoca em um tipo aritmético, booliano ou ponteiro. (Para obter informações sobre conversões, consulte Conversões Padrão.)

Sintaxe

init-statement:
  expression-statement
  simple-declaration

condition:
  expression
  attribute-specifier-seq _optardecl-specifier-seqdeclaratorbrace-or-equal-initializer

statement:
  expression-statement
  compound-statement

expression-statement:
  expression _optar;

compound-statement:
  { statement-seq _optar}

statement-seq:
  statement
  statement-seq statement

if-branch:
  statement

else-branch:
  statement

selection-statement:
  if constexpr _opt¹⁷(init-statement_opt¹⁷condition)if-branch
  if constexpr _opt¹⁷(init-statement_opt¹⁷condition)if-branchelseelse-branch

¹⁷ Este elemento opcional está disponível a partir do C++17.

instruções if-else

Em todas as formas da if instrução, conditionque pode ter qualquer valor, exceto uma estrutura, é avaliada, incluindo todos os efeitos colaterais. O controle passa da if instrução para a próxima instrução no programa, a menos que o executado if-branch ou else-branch contenha um break, continueou goto.

A else cláusula de uma instrução if...else está associada à instrução anterior if mais próxima no mesmo escopo que não tem uma instrução correspondente else .

Exemplo

Este código de exemplo mostra várias if instruções em uso, com e sem else:

// if_else_statement.cpp
#include <iostream>

using namespace std;

int main()
{
    int x = 10;

    if (x < 11)
    {
        cout << "x < 11 is true!\n";  // executed
    }
    else
    {
        cout << "x < 11 is false!\n"; // not executed
    }

    // no else statement
    bool flag = false;
    if (flag == true)
    {
        x = 100; // not executed
    }

    int *p = new int(25);
    if (p)
    {
        cout << *p << "\n"; // outputs 25
    }
    else
    {
        cout << "p is null!\n"; // executed if memory allocation fails
    }
}

Saída:

x < 11 is true!
25

instrução if com um inicializador

A partir do C++17, uma instrução if também pode conter uma expressão init-statement que declara e inicializa uma variável nomeada. Use essa forma da instrução if quando a variável for necessária apenas dentro do escopo da instrução if. Específico da Microsoft: esse formulário está disponível a partir do Visual Studio 2017 versão 15.3 e requer pelo menos a opção do /std:c++17 compilador.

Exemplo

// Compile with /std:c++17

#include <iostream>
#include <mutex>
#include <map>
#include <string>
#include <algorithm>

using namespace std;

map<int, string> m{ {1, "one"}, {2, "two"}, {10,"ten"} };
mutex mx;
bool shared_flag = true; // guarded by mx
int getValue() { return 42; }

int main()
{
    if (auto it = m.find(10); it != m.end())
    {
        cout << it->second << "\n";
    }

    if (int x = getValue(); x == 42)
    {
        cout << "x is 42\n";
    }

    if (lock_guard<mutex> lock(mx); shared_flag)
    {
        cout << "setting shared_flag to false\n";
        shared_flag = false;
    }

    string s{ "if" };
    if (auto keywords = { "if", "for", "while" }; any_of(keywords.begin(), keywords.end(), [&s](const char* kw) { return s == kw; }))
    {
        cout << "Error! Token must not be a keyword\n";
    }
}

Saída:

ten
x is 42
setting shared_flag to false
Error! Token must not be a keyword

se as instruções constexpr

A partir do C++17, você pode usar uma instrução if constexpr em modelos de função para tomar decisões de ramificação em tempo de compilação sem precisar recorrer a várias sobrecargas de função. Específico da Microsoft: esse formulário está disponível a partir do Visual Studio 2017 versão 15.3 e requer pelo menos a opção do /std:c++17 compilador.

Exemplo

Este exemplo mostra como você pode compilar condicionalmente um modelo com base no tipo enviado a ele:

// Compile with /std:c++17
#include <iostream>

template<typename T>
auto Show(T t)
{
    //if (std::is_pointer_v<T>) // Show(a) results in compiler error for return *t. Show(b) results in compiler error for return t.
    if constexpr (std::is_pointer_v<T>) // This statement goes away for Show(a)
    {
        return *t;
    }
    else
    {
        return t;
    }
}

int main()
{
    int a = 42;
    int* pB = &a;

    std::cout << Show(a) << "\n"; // prints "42"
    std::cout << Show(pB) << "\n"; // prints "42"
}

A if constexpr instrução é avaliada no momento da compilação e o compilador só gera código para o if branch que corresponde ao tipo do argumento enviado ao modelo de função. Se você comentar a if constexpr instrução e cancelar o comentário da if instrução, o compilador gerará código para ambas as ramificações. Isso significa que você recebe um erro:

• Se você chamar ShowValue(a); , você receberá um erro return *t porque t não é um ponteiro, mesmo que a if instrução seja falsa e o código nunca seja executado.
• Se você chamar ShowValue(pB); , você receberá um erro return t porque t é um ponteiro, mesmo que a if instrução seja verdadeira e o código nunca seja executado.

O uso if constexpr resolve esse problema porque somente a instrução que corresponde ao tipo do argumento enviado ao modelo de função é compilada.

Saída:

42
42

Consulte também

Instruções de seleção
Palavras-chave
switch Instrução (C++)