C++ 模板 - 如何跨多个 MTU 使用

Question

class A : boost::noncopyable {
    int type;

    A(int type, enum e) : type(type) { /* ... */ }
}
typedef boost::shared_ptr<A> A_ptr;


template <enum VAR>
class B : boost::noncopyable {
    static A_ptr x, y;

    B() {
        if (!x.get()) {
            x.reset(new A(0, VAR));
        }
        if (!y.get()) {
            y.reset(new A(1, VAR));
        }
    }
}

我想要基于模板的几种类型的“B”；这样它将保持单独的静态和“跟踪”它们自己的 x、y (A_ptrs)。

问题:

a) 如何将其设置为 header /源配置，使模板正常工作？

b) 我应该形成一个 'createA' 函数而不是 x.reset(new A(0, VAR));

c) shared_ptr.get() 是否保证在未初始化时返回 0(即 bool 表达式中的 false)？

我应该将 b) 和 c) 拆分为多个 SO 问题吗？

Answer 1

a) 像这样设置:

嗯:

#ifndef A_HEADER_GUARD
#define A_HEADER_GUARD

class A {...};

#endif

A.cpp:

// A::method1 implementation
// A::method2 implementation
// etc...

B.h:

#ifndef B_HEADER_GUARD
#define B_HEADER_GUARD

#include "A.h"

template <enum VAR> class B {...}

#endif

请注意，B 类不能在 cpp 文件中实现。这是因为类 B 是一个模板，它的实现必须对实例化该模板的人完全可见。

确保您了解 header guards 的用法(又名包括 guard )。

---

b) 编写私有(private)辅助方法来“提取”频繁重复的代码是很正常的，我什至鼓励这样做。

---

c) 是的，shared_ptr::get() 在未初始化时保证为 0，如 documentation 中的后置条件 子句所述.

无需检查条件表达式中的 shared_ptr::get()，您可以只检查 shared_ptr 本身。在 bool 上下文中使用时，它会自动将自身转换为 bool。例如:

shared_ptr<A> a_ptr;
if (!a_ptr)
    cout << "a_ptr not initialized!";

这是检查智能指针有效性的惯用方法。