MSVC2015 更新 3 可变参数模板解决方法

Posted 2023-02-17

【中文标题】MSVC2015 更新 3 可变参数模板解决方法

【英文标题】：MSVC2015 update 3 variadic template workaround

【发布时间】：2016-06-21 15:13:05

【问题描述】：

Visual Studio 2015 更新 3 大大改进了对 C++11 的支持，但我有一个奇怪的问题，我正在寻找解决方法。

当使用 MSVC 为模板类型参数（“完全定义的类型”）编译 variadic-template 代码时一切正常，但如果我想使用模板模板参数（“部分定义的类型”），结果就会不正确。

#include <iostream>
using namespace std;

template <template<typename> class... TS>
struct PARTIAL 
    static void test(std::ostream& out)
    
        out << "PARTIAL-PROBLEM" << endl;
    
;
template <template<typename> class T>
struct PARTIAL<T>
    static void test(std::ostream& out)
    out << "PARTIAL-OK-END" << endl;
;
template <template<typename> class T, template<typename> class... TS>
struct PARTIAL<T, TS...>
    static void test(std::ostream& out)
    
        out << "PARTIAL-OK" << endl;
        PARTIAL<TS...>::test(out);
    
;

template <class... TS>
struct FULL 
    static void test(std::ostream& out)
    
        out << "FULL-PROBLEM" << endl;
    
;
template <class T>
struct FULL<T>
    static void test(std::ostream& out)
    out << "FULL-OK-END" << endl;
;
template <class T, class... TS>
struct FULL<T, TS...>
    static void test(std::ostream& out)
    
        out << "FULL-OK" << endl;
        FULL<TS...>::test(out);
    
;
template <typename T>
struct B;
int main()

    FULL<int, int, int>::test(cout);
    PARTIAL<B, B, B>::test(cout);
    return 0;

GCC5.3（MINGW）的输出：

FULL-OK
FULL-OK
FULL-OK-END
PARTIAL-OK
PARTIAL-OK
PARTIAL-OK-END

MSVC 的输出：

FULL-OK
FULL-OK
FULL-OK-END
PARTIAL-OK
PARTIAL-OK
PARTIAL-OK
PARTIAL-PROBLEM

MSVC 以不同的方式为完全定义的类型和部分生成代码。最好的解决方法应该是什么？

here is demo that works good on GCC

【问题讨论】：

在我看来是个错误。

将终止情况下的-OK替换为-OK-TERMINATE，使问题更加明显。此外，将您的代码归结为问题所在：有效的代码在某种意义上是无趣的。请注意，这些不是“部分类型”，而是“模板模板参数”。

已更新，我不想移除工作部分。可能有人会为这两个用例找到解决方案

【参考方案1】：

向递归情况添加另一个参数将确保它不会被选择用于终止情况：

template <template<typename> class T, template<typename> class T2, template<typename> class... TS>
//                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
struct PARTIAL<T, T2, TS...>
//                ^^^^
    static void test(std::ostream& out)
    
        out << "PARTIAL-OK" << endl;
        PARTIAL<T2, TS...>::test(out);
                ^^^^
    
;