Нулевой указатель с повышением:: shared_ptr?

Ну, это законно:

shared_ptr<Foo> foo;  /* don't assign */

И в этом состоянии, это ни на что не указывает. Можно даже протестировать это свойство:

if (foo) {
    // it points to something
} else {
    // no it doesn't
}

Итак, почему бы не это:

std::vector < shared_ptr<Foo> > vec;
vec.push_back (shared_ptr<Foo>);   // push an unassigned one

Да, объявите глобального статического нулевого указателя.

Вы могли объявить глобальное nullPtr для shared_ptr<Foo>. Но если бы Вы загрязняете глобальное пространство имен, что Вы назвали бы глобальным nullPtr для shared_ptr<Bar>?

Обычно я объявляю пустой указатель ptr как помехи в классе указателя.

#include <boost\shared_ptr.hpp>

class Foo; // forward decl
typedef boost::shared_ptr<Foo> FooPtr;
class Foo
{
public:
    static FooPtr Null;
}
...
// define static in cpp file
FooPtr Foo::Null;
...
// use Foo Null
vec.push_back(Foo::Null);

Тот путь каждый класс имеет статический Пустой указатель.

Ваше предложение (звонящий shared_ptr<T> конструктор без аргумента) корректно. (Вызов конструктора со значением 0 эквивалентен.) Я не думаю, что это было бы немного медленнее, чем вызов vec.push_back() с существованием ранее shared_ptr<T>, так как конструкция требуется в обоих случаях (или прямая конструкция или конструкция копии).

, Но если Вы хотите "более хороший" синтаксис, Вы могли бы попробовать следующий код:

class {
public:
    template<typename T>
    operator shared_ptr<T>() { return shared_ptr<T>(); }
} nullPtr;

Это объявляет единственный глобальный объект nullPtr, который включает следующий естественный синтаксис:

shared_ptr<int> pi(new int(42));
shared_ptr<SomeArbitraryType> psat(new SomeArbitraryType("foonly"));

...

pi = nullPtr;
psat = nullPtr;

Примечание, что при использовании этого в нескольких единицах перевода (исходные файлы) необходимо будет дать классу имя (например, _shared_null_ptr_type), перемещает определение эти nullPtr объект в отдельный .cpp файл и добавляет extern объявления в заголовочном файле, где класс определяется.

Вот кое-что, что, на мой взгляд, немного проще и отлично работает

(помните, что typedef - ваш друг):

#include    <cstdlib>
#include    <vector>
#include    <iostream>
#include    <boost/shared_ptr.hpp>

typedef boost::shared_ptr< std::vector<char> > CharVecHandle;

inline CharVecHandle newCharVec(std::vector<char>::size_type size) {
    return CharVecHandle(new std::vector<char>(size));
}

inline CharVecHandle newCharVec(void) {
    return CharVecHandle();
}

int main ( void )
{
    CharVecHandle cvh = newCharVec();

    if (cvh == NULL) 
        std::cout << "It's NULL" << std::endl;
    else 
        std::cout << "It's not NULL" << std::endl;

    std::vector< CharVecHandle > cvh_vec;

    cvh_vec.push_back(newCharVec(64));
    cvh_vec.push_back(newCharVec());

    // or call the NULL constructor directly
    cvh_vec.push_back(CharVecHandle());

    return EXIT_SUCCESS;
}