Início / user-4726537

ggulgulia's questions

Martin Hope
ggulgulia
Asked: 2024-01-15 17:11:01 +0800 CST
  • 9

Tenho problemas para entender quando um tipo deduz ao std::ranges::danglingusar variáveis ​​​​locais nomeadas versus um pré-valor como argumentos para std::ranges::sortalgoritmo. Por exemplo, tenho uma função que retorna a prvalue para um contêiner padrão, digamos std::vector que uso diretamente como argumento para std::ranges::sort, então espero obter um erro de compilação std::ranges::danglingquando tento desreferenciar o iterador, que é o que recebo:

#include <vector>
#include <algorithm>

auto get_data(){
    return std::vector<int>{1, 2, 99, 5, 9, 4};
}

auto get_sorted(){
    return std::ranges::sort(get_data());
}


int main(){
    auto it = get_sorted();
    *(it-1); //Compiler Error because it is a std::ranges::dangling iterator
}

No entanto, se eu alterar get_sortedligeiramente a função acima para primeiro capturar o vetor em uma variável nomeada e usá-lo para retornar o resultado de std::ranges::sort, então não recebo um iterador pendente, mesmo mainque o vetor alocado na variável nomeada deva ter sido destruído após a função get_sortedretornar:

auto get_sorted(){
    auto vec = get_data();
    return std::ranges::sort(vec);
}


int main(){
    auto it = get_sorted();
    *(it-1); //Okay result  = 99
}

Mesmo se eu mudar get_sortedpara usar um contêiner baseado em variável nomeada declarado localmente, recebo um comportamento em que o compilador não reclama sobre o iterador pendente ao ser desreferenciado em seu chamador (digamos, mainfunction).

//doesn't return a std::ranges::dangling
auto get_sorted(){
    std::vector<int> vec{1, 2, 99, 5, 9, 4};
    return std::ranges::sort(vec);
}

e quando passo um vetor pré-valor para o std::ranges::sortalgoritmo, recebo novamente o std::ranges::danglingesperado

//returns a std::ranges::dangling
auto get_sorted(){
    std::vector<int> vec{1, 2, 99, 5, 9, 4};
    return std::ranges::sort(std::vector<int>{1, 2, 99, 5, 9, 4});
}

Para os casos em que não recebo um erro do compilador, std::ragnes::danglingobservo um erro de tempo de execução ao compilar com fSanitize=addressa opção, o que provavelmente ocorre porque os vetores que foram alocados na variável nomeada dentro da get_sortedfunção saíram do escopo assim que a última função devolvida.

No entanto, gostaria de entender por que o uso de variável nomeada dentro de uma função altera o tipo de retorno da get_sortedfunção e possível um guia sobre como usar contêineres temporários e pré-valores corretamente para obter std::ranges::danglingsempre que possível.

c++