推导出第一个模板参数，其他模板参数默认 [英] Deducing first template argument with other template parameters defaulted

问题描述

Gcc 和 clang 似乎不同意这段代码是否应该编译:

Gcc and clang seem to disagree on whether this code should compile or not:

#include <type_traits>

template <typename Signature, int N = 0>
struct MyDelegate { };

template <typename D>
struct signature_traits;

template <template <typename> class Delegate, typename Signature>
struct signature_traits<Delegate<Signature>>
{
    using type = Signature;
};

static_assert(std::is_same_v<
    void(int, int),
    signature_traits<MyDelegate<void(int, int)>>::type
>);

在此处查看 godbolt 输出并尝试一下.我在这里支持 clang，但 C++ 标准对此有何评论?

See godbolt output here and try it. I'm siding with clang here, but what does the C++ standard say about this?

一个后续问题 - 这可以在 clang 中工作吗?

A follow-up question - can this be made to work in clang?

推荐答案

这是完全有效的代码，gcc 是正确的.功能"是 在 C++17 中引入.这并不是真正的功能，因为它是一份缺陷报告.MyDelegate 匹配 signature_traits 的部分特化，所以它应该像 gcc 一样正确.请注意，它有效，因为第二个模板参数是默认的.

This is perfectly valid code, and gcc is right. The "feature" was introduced in C++17. It's not really a feature because it is a defect report. MyDelegate matches the partial specialization of signature_traits, and so it should be taken as gcc correctly does. Note that it works because the second template parameter is defaulted.

clang 不编译它的原因是因为那个缺陷报告有一个缺陷:P.它没有在偏序中引入适当的变化，这是不太好，使之前的有效代码再次变得模棱两可.

The reason why clang doesn't compile it is because that defect report has a defect :P. It doesn't introduce the appropriate change in partial ordering, which is not really nice and makes previousy valid code ambiguous again.

预计很快就会修复，但与此同时，clang 决定将功能隐藏"在一个标志后面，-frelaxed-template-template-args.

It is expected to be fixed soon, but in the meanwhile, clang decided to "hide" the feature behind a flag, -frelaxed-template-template-args.

所以，只要在启用该标志的情况下编译就可以了.

So, just compile with that flag enabled and you should be fine.

这篇关于推导出第一个模板参数，其他模板参数默认的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！