c++模板中的“无用”虚拟类()

我看到这样的一段代码：

//
// Created by admin on 2022/8/6.
//

#ifndef COROUTINE_PRINTER_H
#define COROUTINE_PRINTER_H

#endif //COROUTINE_PRINTER_H


#pragma once

#include <iostream>
#include <utility>

namespace std {

    template <class T,
            class = decltype(std::declval<ostream &>() <<
                                                       *++std::declval<T>().begin()),
            class = decltype(std::declval<T>().begin() !=
                             std::declval<T>().end())>
    ostream &operator<<(ostream &os, T const &v) {
        os << '{';
        auto it = v.begin();
        
        if (it != v.end()) {
            os << *it;
            for (++it; it != v.end(); ++it) {
                os << ',' << *it;
            }
        }
        os << '}';
        return os;
    }

}

我看到上面的template头里面有两个class = ，却没有在底下被用到，而且两个都删除的画会报错。

经过我的思考和搜索，这两个class = 起的作用就是在重载模板函数的时候防止和之前写的相同名字的模板函数或者计算符号发生冲突。

————————

我看到这样的一段代码：

//
// Created by admin on 2022/8/6.
//

#ifndef COROUTINE_PRINTER_H
#define COROUTINE_PRINTER_H

#endif //COROUTINE_PRINTER_H


#pragma once

#include <iostream>
#include <utility>

namespace std {

    template <class T,
            class = decltype(std::declval<ostream &>() <<
                                                       *++std::declval<T>().begin()),
            class = decltype(std::declval<T>().begin() !=
                             std::declval<T>().end())>
    ostream &operator<<(ostream &os, T const &v) {
        os << '{';
        auto it = v.begin();
        
        if (it != v.end()) {
            os << *it;
            for (++it; it != v.end(); ++it) {
                os << ',' << *it;
            }
        }
        os << '}';
        return os;
    }

}

我看到上面的template头里面有两个class = ，却没有在底下被用到，而且两个都删除的画会报错。

经过我的思考和搜索，这两个class = 起的作用就是在重载模板函数的时候防止和之前写的相同名字的模板函数或者计算符号发生冲突。