C++17 中的歧义错误(模板模板参数和默认参数问题)

Question

我有代码，g++使用c++14和c++17标准标志进行不同的解释：

#include <iostream>
#include <vector>
template<class T, class A>
void func(const std::vector<T, A>&v)
{
std::cout << 1 << std::endl;
}
template<typename T, template <typename>class Vector>
void func(const Vector<T>&v)
{
std::cout << 2 << std::endl;
}
void f()
{
std::vector<int> v;
func(v);
}
int main()
{
f();
return 0;
}

当我尝试使用命令编译此代码时

g++ -std=c++14 -wall -pedantic main.cpp

一切正常。

但是当我尝试使用命令编译此代码时

g++ -std=c++17 -wall -pedantic main.cpp

我收到此错误：

main.cpp: In function 'void f()':
main.cpp:19:11: error: call of overloaded 'func(std::vector<int>&)' is ambiguous
func(v);
^
main.cpp:5:6: note: candidate: 'void func(const std::vector<_Tp, _Alloc>&) [with T = int; A = std::allocator<int>]'
void func(const std::vector<T, A>&v)
^~~~
main.cpp:11:6: note: candidate: 'void func(const Vector<T>&) [with T = int; Vector = std::vector]'
void func(const Vector<T>&v)

从 C++17 标准的角度来看，我无法弄清楚这段代码有什么问题。

Answer 1

自 C++17 年以来，行为发生了变化。

在 C++17 之前，代码有效，因为std::vector有两个模板参数(第二个具有默认参数std::allocator<T>(，而模板模板参数Vector声明只有一个，它们不匹配，则不会考虑第二个func。

自 C++17 (CWG 150( 起，允许模板模板参数使用默认模板参数，以匹配模板参数较少的模板模板参数。这意味着两者都func成为有效的候选人，然后导致歧义。

template<class T> class A { /* ... */ };
template<class T, class U = T> class B { /* ... */ };
template<template<class> class P> class X { /* ... */ };
X<A> xa; // OK
X<B> xb; // OK in C++17 after CWG 150
// Error earlier: not an exact match