Início / coding / Perguntas / 79566389
Accepted
Yat Fung
Asked: 2025-04-10 18:30:20 +0800 CST

Saída inconsistente com std::any_of

  • 772

Tenho duas versões da mesma função usando std::any_ofe std::find_ifpara verificar se intexiste em um vetor (retornado de g.getEdges()).

Entretanto, quando executo repetidamente o std::any_ofvalor de retorno é inconsistente, enquanto std::find_ifé.

Ambas as versões são as seguintes ( g.getEdges()retorna um intvetor, enquanto this->sé um int):

bool Search::marked(const int &v) {
    return std::any_of(begin(g.getEdges(v)), end(g.getEdges(v)), [this](const int &w) { return w == this->s; });
}

bool Search::marked(const int &v) {
    auto it = std::find_if(begin(g.getEdges(v)), end(g.getEdges(v)), [this](const auto &w) { return w == this->s; });
    return it != end(g.getEdges(v));
}

Em ambas as classes, adjo vetor está sendo iterado:

class Graph {
  public:
    Graph() : vertex(0), edges(0) {
      adj = std::make_unique<std::vector<std::vector<int>>>(0);
    }
    const std::vector<int> getEdges(int v) { return (*adj)[v]; }
  // ... rest of public
  private:
    std::shared_ptr<std::vector<std::vector<int>>> adj; // Shared for Search class
}

class Search {
  public:
    Search(Graph &g_, int s_) : g(g_), s(s_) {}
    int count();
    bool marked(const int &v);

  private:
    Graph &g;
    int s;
};

A função gtest que usei para verificar o código:

TEST(searchClassTest, HandlesPositiveInput) {
    // ... init myGraph ...
    Search mySearch(myGraph, 2);  // 2 is s!
    EXPECT_EQ(mySearch.count(), 2);
    EXPECT_EQ(mySearch.marked(1), true);
    EXPECT_EQ(mySearch.marked(3), true);
}

Por que estou obtendo resultados inconsistentes?

Link para o exemplo mínimo reproduzível: https://godbolt.org/z/9TnGq3Wbs

c++

1 respostas

  1. Best Answer

    O código que você apresentou é totalmente inválido devido a

    const std::vector<int> getEdges(int v)

    Em ambas as implementações de marked, você chama essa função várias vezes, cada vez obtendo uma cópia diferente de um vetor, e então tenta comparar seus iteradores:

    bool Search::marked(const int &v) {
    // begin and end point to two different vectors
    auto it = std::find_if(begin(g.getEdges(v)), end(g.getEdges(v)), [this](const auto &w) { return w == this->s; });
    // this end points to a third one
    return it != end(g.getEdges(v)) ? true : false;
}

    A std::any_ofversão está quebrada da mesma forma. Tentar iterar de um vetor para outro é um comportamento indefinido, então qualquer resultado que você veja pode ser aleatório - a função pode retornar true, false, 7ou "nasal demons, here I come".

    Simplesmente alterar getEdgespara retornar uma referência deve corrigir isso.

    • 7

relate perguntas