Início / coding / Perguntas / 79306786
Accepted
Derek
Asked: 2024-12-25 10:52:54 +0800 CST

Sobrecarga e cláusulas require: qual sobrecarga é escolhida?

  • 772

Não tenho certeza se estou entendendo errado requiresou se o clang tem um bug. Aqui está o código:

#include <cassert>
#include <concepts>

template<std::unsigned_integral T>
constexpr unsigned int
foo(T x)
{
    return x;
}

template<std::unsigned_integral T> requires (sizeof(T) == 1)
constexpr unsigned int
foo(T x)
{
    return x + 1;
}

int
main()
{
    assert(foo(static_cast<unsigned char>(0)) == 1);

    unsigned int (*function)(unsigned char x) = foo;
    assert(function(0) == 1);
}

clang -vdiz

Apple clang version 16.0.0 (clang-1600.0.26.6)
Target: arm64-apple-darwin24.2.0

e compilar e executar isso como clang -std=c++20 file.cc -o file; fileproduz

Assertion failed: (function(0) == 1), function main, file file.cc, line 24.
Abort trap: 6

Isso me confunde: por que o compilador escolheria instanciações diferentes? Em ambos os casos, eu esperaria uma chamada para unsigned int foo<unsigned char> (unsigned char x), mas talvez eu esteja entendendo errado o que deveria acontecer.

c++

1 respostas

  1. Best Answer

    Este é um bug no clang que foi corrigido.
    Na verdade, consegui reproduzi-lo apenas no clang 17 (não 16) - como você pode tentar na demonstração ao vivo abaixo.

    A afirmação não é acionada no clang 18 ou posterior (nem em versões anteriores do clang).

    Ele também não é acionado no MSVC e no gcc.

    Ou seja, o compilador deve realmente escolher o segundo fooem ambos os casos.

    Demonstração ao vivo .

    • 2

relate perguntas