llvm/llvm-project

[clang] Poor diagnostic with wrong template argument type

Open

#121,235 创建于 2024年12月27日

在 GitHub 查看
 (7 评论) (0 反应) (1 负责人)C++ (10,782 fork)batch import
clang:diagnosticsconfirmedenhancementgood first issue

仓库指标

Star
 (26,378 star)
PR 合并指标
 (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)

描述

Clang diagnostic for invalid bool-to-enum template parameter conversion lacks failure detail when compared to GCC, as the following C++ snippet:

enum endianness { little = 0, big };

template <endianness e>
inline void foo() {}

void bar() {
    foo<false>();
}

Fails as follows on latest clang:

<source>:7:5: error: no matching function for call to 'foo'
    7 |     foo<false>();
      |     ^~~~~~~~~~
<source>:4:13: note: candidate template ignored: invalid explicitly-specified argument for template parameter 'big_endian'
    4 | inline void foo() {}

GCC explicitly indicates the conversion failure instead:

<source>:4:13: note: template argument deduction/substitution failed:
<source>:7:15: error: could not convert 'false' from 'bool' to 'endianness'
    7 |     foo<false>();
      |     ~~~~~~~~~~^~
      |               |
      |               bool

Godbolt: https://godbolt.org/z/hnazTn3M7 (cc/ @shafik).

贡献者指南