我可以解释一下下面代码中的几行吗？

我想了解以下代码是如何工作的。它基本上可以用于对“调试”C++ 容器进行排序，但我在理解第 3、4、12 和 13 行以及它们的作用时遇到了一些困难。如果我能得到一个简短的解释，那就太好了。谢谢。

template <typename T> class range { public: T begin, end; };
template <typename T> range <T> make_range (const T& b, const T& e) { return range <T> {b, e}; }
template <typename T> auto dec (T* x) -> decltype(std::cerr << *x, 0); // 3
template <typename T> char dec (...);  // 4
class view {
private:
    std::ostream& stream;
public:
     view (std::ostream&);
    ~view ();
#ifdef Z_LOCAL
    template <typename T> typename std::enable_if <sizeof dec <T> (0) != 1, view&>::type operator << (const T&);  // 12
    template <typename T> typename std::enable_if <sizeof dec <T> (0) == 1, view&>::type operator << (const T&);  // 13
    template <typename T> view& operator << (const range <T>&);
    template <typename A, typename B> view& operator << (const std::pair <A, B>&);
#else
    template <typename T> view& operator << (const T&);
#endif
};

view::view (std::ostream& os = std::cerr) : stream (os) { }

view::~view () { stream << std::endl; }

#ifdef Z_LOCAL
template <typename T> typename std::enable_if <sizeof dec <T> (0) != 1, view&>::type view::operator << (const T& t)
{ stream << std::boolalpha << t; return *this; }

template <typename T> typename std::enable_if <sizeof dec <T> (0) == 1, view&>::type view::operator << (const T& t)
{ return *this << make_range(begin(t), end(t)); }

template <typename T> view& view::operator << (const range <T>& r)
{ stream << "["; for (auto i = r.begin, j = i; i != r.end; ++i) *this << *i << (++j == r.end ? "]" : ", "); return *this; }

template <typename A, typename B> view& view::operator << (const std::pair <A, B>& p)
{ stream << '(' << p.first << ", " << p.second << ')'; return *this; }
#else
template <typename T> view& view::operator << (const T&)
{ return *this; }
#endif

#define print(x) " [" << #x << ": " << x << "] "
view debug (std::cerr);

以下声明使用了依赖于 SFINAE 的技术（替换失败不是错误）：

// #3 : works only if  (std::cerr << *x) works
template <typename T> auto dec (T* x) -> decltype(std::cerr << *x, 0);

// #4 : works for everything, but only if #3 fails
template <typename T> char dec (...); 

考虑某种类型T例如double。然后是下面的代码，其中x is a double*:

std::cerr << *x;

会编译得很好，这意味着这段代码：

decltype(std::cerr << *x, 0);

格式良好，并且评估为int。然后编译器会选择#3 when T是一个可以这样使用的类型。

另一方面，如果T是像一个vector<double>，那么decltype格式不正确（因为您无法流式传输vector to cerr），所以编译器别无选择，只能选择#4.

上面的声明只是简单的帮助器，用于#12 and #13. If T是一种适用于#3, then dec返回类型为int，并且匹配以下重载：

// #12
template <typename T> typename std::enable_if <sizeof dec <T> (0) != 1, view&>::type operator << (const T&);

because sizeof dec <T>不会是1。

If T效劳于#4（因为它不起作用#3), then dec返回类型为int，以及以下过载#13已匹配：

// #13
template <typename T> typename std::enable_if <sizeof dec <T> (0) == 1, view&>::type operator << (const T&); 

because sizeof dec <T>正好是 1（a 的大小char).

请注意，真正的区别在于如何#12 and #13 are defined。如果您看到定义，它们会处理以下情况T是否可以适当地进行流式传输。