函数模板重载解决和编译器优化

Question

我正在查看这里发现的这个问题Template function overload for type containing a type

OP user2079802 为他/她的问题提供了此代码：

我正在尝试执行以下操作：

#include <iostream>
#include <vector>
#include <tuple>

template <typename T>
void f(T t) {
    std::cout << "1" << std::endl;
}

template <typename T, typename V>
void f(T<std::tuple<V>> t) {
    std::cout << "2" << std::endl;
}

int main() {
    f(std::list<double>{}); // should use first template
    f(std::vector<std::tuple<int>>{}); // should use second template
}

在 C++14 中最简单的方法是什么？我以为我可以通过这种方式进行模式匹配，但编译器不会有它。

而songyuanyao 提供了这个答案：

模板参数T用作模板名称，因此应声明为template template parameter。例如

template <template <typename...> class T, typename V>
//        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
void f(T<std::tuple<V>> t) {
    std::cout << "2" << std::endl;
}

LIVE

---

提供的答案确实修复了编译错误并且代码确实运行正常。为了清楚起见，我正在询问有关此代码 sn-p 的问题。 OP 最初试图对模板类型进行模式匹配，但模板模板参数的语法不正确。当我通过在 64 位 Intel Windows 7 机器上运行的 IDE、编译器和调试器 {MSVS 2017 CE} 运行答案时，我碰巧注意到在 OP 的函数调用中的主函数：

f(std::list<double>{});
f(std::vector<std::tuple<int>>{});

第二个函数调用实际上是调用第一个函数模板而不是第二个。这确实提出了几个问题：

• 这是由于编译器优化造成的吗？
• 这是重载解决的结果吗？
• 当编译器运行时，编译器内部实际发生了什么 是否选择使用第一个函数模板而不是第二个？
• 或者这是 MSVC 编译器的错误？

Answer 1

这实际上不是 MSVC 编译器中的错误。这实际上是标准中关于默认模板参数的含糊不清的结果。

你看，std::vector 实际上有 2 个模板参数：类型和分配器。

如果您重构该问题的答案以考虑分配器

template <typename T>
void f(T t) {
    std::cout << "1" << std::endl;
}

template <template <typename...> class T, typename V>
void f(T<std::tuple<V>, std::allocator<std::tuple<V>>> t) {
    std::cout << "2" << std::endl;
}

它将在所有编译器中正常工作：msvc demo、gcc demo、clang demo。

Here's the original defect report (CWG 150)

P0522R0 有最新的讨论，截至 2016 年 11 月，他们建议您在宋元瑶的答案中引用的部分模板匹配的那种根据标准是正确的。

P0522R0 中提出的更改正在被纳入 C++17 标准（我检查过的是 N4296 草案）。在标准最终确定并且 MSVC 声称拥有完整的 C++17 支持之前，我不会将其称为编译器中的错误。目前，他们承认，截至 VS 2017.3 [P2] (source)，此特定提案尚未纳入他们的编译器中。