模板运算符 <<重载和 make_pair

Question

我在使用模板成员重载运算符和使用 make_pair 时遇到一些问题：

class MyArchive
{
    public:
    template <class C> MyArchive & operator<< (C & c)
    {

        return (*this);
    }
};

class A
{

};

int main()
{

    MyArchive oa;
    A a;
    oa << a; //it works
    oa << std::make_pair(std::string("lalala"),a); //it doesn't work
    return 0;
}

我收到这个有趣错误：

/home/carles/tmp/provaserialization/main.cpp: In function ‘int main()’:
/home/carles/tmp/provaserialization/main.cpp:30: error: no match for ‘operator<<’ in ‘oa << std::make_pair(_T1, _T2) [with _T1 = std::basic_string<char, std::char_traits<char>, std::allocator<char> >, _T2 = A]((a, A()))’
/home/carles/tmp/provaserialization/main.cpp:11: note: candidates are: MyArchive& MyArchive::operator<<(C&) [with C = std::pair<std::basic_string<char, std::char_traits<char>, std::allocator<char> >, A>]

关于为什么在第二种情况下找不到operator<<的任何想法？

Answer 1

operator<< 的参数应该是 const ：

template <class C> MyArchive & operator<< (const C & c)

因为 std::make_pair 返回一个临时对象，不能绑定到非常量参数。但是临时对象可以绑定到 const 参数，从那时起临时对象的生命周期就会延长，直到被调用函数结束。

---

一个简单的演示：

template<typename T>
void f(T & c) { cout << " non-const parameter" << endl; }

template<typename T>
void f(const T & a) { cout << "const parameter" << endl; }

int main() 
{
     f(make_pair(10,20.0)); //this calls second function!
}

输出：

常量参数

自己在这里查看输出： http://www.ideone.com/16DpT

编辑：

当然，上面的输出仅解释了 tempor 绑定到具有 const 参数的函数。它没有表现出寿命的延长。以下代码演示了寿命延长：

struct A 
{
  A() { cout << "A is constructed" << endl; }
  ~A() { cout << "A is destructed" << endl; }
};

template<typename T>
void f(T & c) { cout << " non-const parameter" << endl; }

template<typename T>
void f(const T & a) { cout << "const parameter" << endl; }

int main() 
{
     f(A()); //passing temporary object!
}

输出：

A 已构造
常量参数
A被破坏

在函数打印 const 参数之后，A 被析构这一事实表明 A 的生命周期被延长到被调用函数的末尾！

ideone 上的代码： http://www.ideone.com/2ixA6

Answer 2

使用“C const & c”而不是“C & c”

从 make_pair 返回的临时对不能绑定到运算符 << 期望的引用，只能绑定到 const 引用。

Answer 3

但这确实有效：

#include <utility>
#include <string>

class MyArchive
{
  public:
  template <class C> MyArchive & operator<< (C & c)
  {
    return (*this);
  }
};

class A
{

};

int main()
{
  MyArchive oa;
  A a;
  oa << a; //it works
  oa << (std::make_pair(std::string("lalala"),a)); //it works
  return 0;
}

我想这与名称解析有关。