Jeroen Boschma's questions

O código abaixo reproduz o problema que tenho, MSVC 2022:

#include <iostream>

struct A {
    static void message()
    {
        std::cout << "A::message()\n";
    }

    struct B {
        B() {}
        ~B()
        {
            A::message();
        }
    };

    static inline B b;
};
 
int main()
{
}

Com o código acima vejo, como esperado, a mensagem aparecendo. No entanto:

1. Se eu remover o construtor B(), o destruidor ~B()parece ter sido eliminado porque a mensagem desaparece.
2. Se eu adicionar uma propriedade fictícia int dummy;à estrutura B, a mensagem aparecerá novamente.

Perguntas para as quais realmente não consegui encontrar resposta:

1. Parece-me que sem o construtor B()e sem propriedades B, o compilador simplesmente rotula a classe Bcomo vazia e simplesmente a ignora completamente. Isso está correto?
2. Está em algum lugar documentado que isso pode ocorrer? Dado o conteúdo do destruidor, acho que isso nunca deveria acontecer.
3. Como posso garantir que sempre funcionará corretamente, não apenas para o compilador que estou usando no momento. Definir o construtor é B()suficiente ou devo também tornar Bnão vazio com a propriedade fictícia int dummy;?

Eu tenho uma função que calcula o hash de uma string literal:

inline consteval uint64_t HashLiteral(const char* key)
{
   // body not important here...
   return 0;
}

Em outra função, preciso da string literal e do hash que desejo calcular em tempo de compilação:

void function(const char* s)
{
   worker(s, HashLiteral(s));
}

No entanto, parece impossível fazer tal chamada function("string")e ter o hash calculado em seu corpo em tempo de compilação. O melhor que descobri agora é usar uma macro e redefinir a função:

#define MakeHashParms(s)   s,HashLiteral(s)
void function(const char* s, const uint64_t hash)
{
   worker(s, hash);
}
function(MakeHashParms("string"));

É possível uma solução mais direta?