Version imprimable
Hello ,
J'aimerais avoir votre avis sur ce probl�me:
https://godbolt.org/z/dsra6d7vh
�a passe sous MSVC et GCC mais pas clang. Alors je soup�onne un bug de libcxx la dessus non?Code:
2
3
4
5
6
7
8
9
10
11struct A{ int a; }; static_assert(std::is_constructible_v<A, int>); // Clang assert alors que je peux construire. int main(){ A obj{10}; return obj.a; }
Ou alors il y a un flag que j'ignore sous Clang ?
Avis au s�nior bien s�r :)
Merci
Pour aider certains:
Sur clang il se peut que std::is_constructible_v ne soit pas d�fini.
Mais oui il y a bien l�erreur:Code:static_assert(std::is_constructible<A, int>::value)
Je pense que c�est ta version de GCC qui n�est pas suffisamment r�cente. Car avec la version �trunk� l�assertion est lev�e.
https://godbolt.org/z/KMeM9jxe1
A noter que sans le Int sa compile, mais je ne pense pas que �a va t�aider.
Si cela peut aider:
https://stackoverflow.com/questions/...trait-of-the-p
Mais comme toi je ne vois pas pourquoi l�assertion est lev�e.
Bon je vais prendre le temps de r�pondre parce que je suis gentil.
std::is_constructible_v date de C++17 donc dans mon exemple si.Citation:
Envoy� par Suryavarman
Encore une fois, je suis en C++20 pas 17.Citation:
Envoy� par Suryavarman
Sans doute mais tu ne teste dans ce cas, pas du tout la m�me chose.Citation:
Envoy� par Suryavarman
Merci d'arr�ter avec les liens stackoverflow...Citation:
Envoy� par Suryavarman
Effectivement j�ai rien dit sur c++20 sur gcc sa passe.
https://godbolt.org/z/3j81G8dzq
Je n�avais pas fait attention � la version de c++. Et je n�avais pas vue ton lien vers godbolt.org.
Bonjour,
En C++17, je dirais que le is_constructible<> doit �chouer. Un agr�gat ne pouvait pas �tre initialis� par A obj(10);.
En C++20, il devrait r�ussir donc Clang indiquerait quelque chose d'erron�. Comme il reste encore quelques "rares" capacit�s du C++20 qui ne sont pas dans tous les compilateurs. Si on regarde l'�tat d'impl�mentation du C++20 pour Clang � la section "Parenthesized initialization of aggregates" aujourd'hui, on y voit "No". Donc en effet en Clang actuel is_constructible<> doit ici �chouer.
En C++17 comme en C++20, A obj{10}; est valide, mais �a n'est pas ce que doit indiquer le is_constructible<>.
Ah bas merci, je cherchais justement le nom de la feature!Citation:
Envoy� par dalfab
C'est bien ce que je pensais, Clang n'a pas encore tout support�.
Je te remercie!