`ocutor＆lt;＆lt;`在容器上适用于价值和参考

Question

有一个模板的容器类容器，因此可以包含任何内容。

我想增加将其内容打印到std :: Ostream的能力，因此我已经Overriden 操作员＆lt;＆lt;。

但是，这有一个缺点：如果容器包含引用（或指针），则该方法仅打印地址而不是真实信息。

请考虑此简单的测试代码，该代码证明了问题：

#include <iostream>
#include <deque>

template<typename T, bool is_reference = false>
class container {
public:
    container() {}
    void add(T a) { queue.push_back(a); }
    
    friend std::ostream& operator<<(std::ostream& out, const container<T, is_reference>& c) {
        for (const T& item : c.queue) {
            if (is_reference) out << *item; else out << item;
            out << ",";
        }
        return out;
    }
    
private:
std::deque<T> queue;
};


int main() {
    //Containers
    container<int*, true> myContainer1;
    container<int> myContainer2;
    
    int myA1(1);
    int myA2(10);
    
    myContainer1.add(&myA1);
    myContainer1.add(&myA2);
    
    myContainer2.add(myA1);
    myContainer2.add(myA2);
    
    std::cout << myA1 << std::endl;
    std::cout << myA2 << std::endl;
    
    std::cout << myContainer1 << std::endl;
    std::cout << myContainer2 << std::endl;
    
    return 0;
}

我有一个想法在模板中提供额外的is_Reference布尔值，以调整ocerator＆lt;＆lt;＆lt;。

但是，如果我具有 value type 容器，这会导致早期编译器错误。

我该如何完成这项工作？

如果我将打印机行更改为

out << item << ",";

“代码”编译并打印以下内容：

1
10
0x7ffd77357a90,0x7ffd77357a94,
1,10,

显然我的目标是获得此结果：

1
10
1,10,
1,10,

（（如何）我可以轻松实现此目标？

Answer 1

您可以使用Sfinae根据std :: is_pointer＆lt; t＆gt; :: value is true 或false。这已经与C ++ 11：

#include <iostream>
#include <deque>

template<typename T>
class container {
public:
    // container() {} // dont define empty constructor when not needed
    //                   or declare it as = default
    void add(const T& a) { queue.push_back(a); } // should take const&
    
    template <typename U = T, typename std::enable_if< std::is_pointer<U>::value,bool>::type=true> 
    friend std::ostream& operator<<(std::ostream& out, const container<T>& c) {
        std::cout << "is pointer\n";
    }
    template <typename U = T, typename std::enable_if< ! std::is_pointer<U>::value,bool>::type=true>
    friend std::ostream& operator<<(std::ostream& out, const container<T>& c) {
        std::cout << "is not pointer\n";
    }
    
private:
    std::deque<T> queue;
};


int main() {
    //Containers
    container<int*> myContainer1;
    container<int> myContainer2;
    std::cout << myContainer1 << std::endl;
    std::cout << myContainer2 << std::endl;
}

output ：

is pointer

is not pointer

由于C ++ 17您可以使用> > constexpr如果。另外，由于C ++ 17有std :: IS_POInter_V，并且由于C ++ 14有std :: Enable_if_t，因此两者都会使代码少一些。

Answer 2

对于item和*item工作的条件选择，您将需要一个支持C ++ 17标准（或更高版本）的编译器，然后使用>如果constexpr（...）语句。

另外，您可以使用 std :: is_pointer 检查包含的类型是否是指针，而不是在模板中添加“标志”：

#include <iostream>
#include <deque>
#include <type_traits>

template<typename T>
class container {
public:
    container() {}
    void add(T a) { queue.push_back(a); }

    friend std::ostream& operator<<(std::ostream& out, const container<T>& c) {
        for (const T& item : c.queue) {
            if constexpr (std::is_pointer<T>::value) {
                out << *item;
            }
            else {
                out << item;
            }
            out << ",";
        }
        return out;
    }

private:
    std::deque<T> queue;
};