C++ C++；非类型模板参数中的类类型：扣减指南失败 问题
我使用的是c++2a特性，它允许structs/std:：array作为模板参数（C++ C++；非类型模板参数中的类类型：扣减指南失败 问题,c++,templates,c++20,template-argument-deduction,C++,Templates,C++20,Template Argument Deduction,我使用的是c++2a特性，它允许structs/std:：array作为模板参数（g++-9.2.0，在clang中还不支持）。 该功能在非类型模板参数中称为类类型，并在P0732R2中提出 我尝试使用一个类的模板参数（在下面的示例中为structC），以推导第二个类的相应类模板参数（在下面的示例中为structB）。我在此使用我为此目的编写的自定义类模板参数推断指南 在这个最小的示例中，我要提取的信息是两个ints。 如果我使用这些基本类型作为模板参数，一切都会正常工作。但是，当我将信息合并到
g++-9.2.0clang类类型P0732R2CBintstd:：pairstd:：struct#包括
///数据结构，其中包含稍后用于类型推断的constexpr上下文
模板结构C{}；
///类，它必须找到自己的类型
模板结构B{
模板显式B（C…C）{}
};
///课程扣减指引
模板B（C…C）
->B；
int main（）{bk{C{}，C{}；}
#include <array>
/// Change: A contains the information from the previous example in a structs.
struct A { int a; int b; };
/// Data structure which contains a constexpr context to be used for type deduction later
template <A a> struct C {};
/// Class which has to find out its own type
template <std::size_t count, std::array<A, count> a> struct B {
template <A... af> explicit B(C<af> ... c) {}
};
/// Class deduction guide
template <A... af> B(C<af>... c)->B<sizeof...(af) + 1, std::array<A, sizeof...(af) + 1>{af...}>;
int main() { B k{C<A{1, 2}>{}, C<A{2, 3}>{}}; }
#包括
///变更：在结构中包含上一个示例中的信息。
结构A{intA；intB；}；
///数据结构，其中包含稍后用于类型推断的constexpr上下文
模板结构C{}；
///类，它必须找到自己的类型
模板结构B{
模板显式B（C…C）{}
};
///课程扣减指引
模板B（C…C）->B；
int main（）{bk{C{}，C{}；}
main.cc:在函数“int main（）”中：
main.cc:24:14:错误：类模板参数扣除失败：
24 | B k{c1，c2}；
| ^
main.cc:24:14:错误：对“B（C&，C&）”的调用没有匹配的函数
main.cc:17:20：注：候选者：“B（C…）->B[带A…af={}”
17 |模板B（C…C）->B；
| ^
main.cc:17:20:注意：候选者需要0个参数，提供2个参数
main.cc:14:31：注：候选者：“模板B（C…）->B”
14 |模板显式B（C…C）{
| ^
main.cc:14:31:注意：模板参数扣除/替换失败：
main.cc:24:14:注意：无法推断模板参数“count”
24 | B k{c1，c2}；
- 。。。总的来说，我想要达到的目标是不可能的
- 。。。有些东西还没有在g中实现++
- 。。。我搞砸了我的扣除指南
我也不明白错误信息。看起来函数应该没有参数。问题是
C..我的问题可能是由我的
G++-9g++-9g++-10.03684bbb022c我的问题可能是由我的
G++-9g++-9g++-10.03684bbb022c-std=c++2ag++-std=c++2a-fno严格别名-fwrapv-save temps main.ccg++-std=c++2a main.cc-std=c++2ag++-std=c++2a-fno严格别名-fwrapv-save temps main.ccg++-std=c++2a main.cc