AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 77910284
Accepted
Adam King
Adam King
Asked: 2024-01-31 09:13:51 +0800 CST2024-01-31 09:13:51 +0800 CST 2024-01-31 09:13:51 +0800 CST

Membros inicializados incorretamente em agregados aninhados? (MSVC)

  • 772

Atualização: como parece ser um bug do compilador, enviei um relatório à Microsoft .

A saída do código a seguir me surpreende. Minha expectativa é que ele Innerteria num1inicializado em 10 (como está) e depois num2seria inicializado, copiando num1o valor de 10. Portanto, a saída seria 10 10. Em vez disso, eu entendo 10 4.

#include <iostream>

struct Inner {
    uint64_t num1{10};
    uint64_t num2{num1};
};

struct Outer {
    uint64_t a{};
    Inner inner{};
};

Outer makeOuter() {
    return {.a = 4};
}

int main(int argc, char* argv[]) {
    auto outer = makeOuter();
    std::cout << outer.inner.num1 << " " << outer.inner.num2 << std::endl;
    return 0;
}

num2parece copiar memória não inicializada (ou do endereço errado?). Ele recebe o valor do Outermembro de a, seja ele 4 ou 0xFFFFFFFFFFFFFFFF.

O compilador é MSVC 19.37.32825.0. Compile, por exemplo, executando cl main.cpp /std:c++latest /EHsc /O2 /link /out:program.exe.

Com clang++ ou g++, obtenho o resultado esperado, 10 10. Bug do compilador ou meu mal-entendido?

Os efeitos de algumas outras mudanças:

  • Adicionar um construtor Inner() {}à Inner-> saída torna-se10 10
  • Mudar Inner inner{}para Inner inner{11, 12}-> a saída torna-se 11 12(esperada)
  • Mudar Inner inner{}para Inner inner{11}-> saída torna-se11 4
  • Retornar {}em vez de {.a = 4}-> a saída torna-se10 10
  • Criando Inner inner{}diretamente maine imprimindo seus membros -> a saída torna-se10 10
c++
  • 1 1 respostas
  • 76 Views

1 respostas

  • Voted
  1. Best Answer
    273K
    2024-01-31T10:03:23+08:002024-01-31T10:03:23+08:00

    É um bug do compilador.

    makeOuter()é traduzido para

    Outer makeOuter(void) PROC               ; makeOuter, COMDAT
            mov     eax, DWORD PTR __$ReturnAddress$[esp-4]
            mov     DWORD PTR [eax], 4
            mov     DWORD PTR [eax+4], 0
            mov     DWORD PTR [eax+8], 10           ; 0000000aH
            mov     DWORD PTR [eax+12], 0
            mov     DWORD PTR [eax+16], 4  ; <-- HERE
            mov     DWORD PTR [eax+20], 0
            ret     0
    Outer makeOuter(void) ENDP               ; makeOuter
    

    Se mudou como

    Outer makeOuter() {
        return {.a = 4, .inner = {}};
    }
    

    então é traduzido para

    Outer makeOuter(void) PROC               ; makeOuter, COMDAT
            mov     eax, DWORD PTR __$ReturnAddress$[esp-4]
            mov     DWORD PTR [eax], 4
            mov     DWORD PTR [eax+4], 0
            mov     DWORD PTR [eax+8], 10           ; 0000000aH
            mov     DWORD PTR [eax+12], 0
            mov     DWORD PTR [eax+16], 10                    ; 0000000aH
            mov     DWORD PTR [eax+20], 0
            ret     0
    Outer makeOuter(void) ENDP               ; makeOuter
    

    https://godbolt.org/z/vdb4Yv6n8

    • 4

relate perguntas

  • Por que os compiladores perdem a vetorização aqui?

  • Erro de compilação usando CMake com biblioteca [fechada]

  • Erro lançado toda vez que tento executar o premake

  • Como criar um tipo de octeto semelhante a std::byte em C++?

  • Somente operações bit a bit para std::byte em C++ 17?

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle?

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Quando devo usar um std::inplace_vector em vez de um std::vector?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Marko Smith

    Estou tentando fazer o jogo pacman usando apenas o módulo Turtle Random e Math

    • 1 respostas
  • Martin Hope
    Aleksandr Dubinsky Por que a correspondência de padrões com o switch no InetAddress falha com 'não cobre todos os valores de entrada possíveis'? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer Quando devo usar um std::inplace_vector em vez de um std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB Por que o GCC gera código que executa condicionalmente uma implementação SIMD? 2024-02-17 06:17:14 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve