C++ Как определить, когда nullptr передается функции, где ожидается std::string?

Проблема здесь в том, что сбой произойдет при вызове конструктора std::string (поскольку там обращается nullptr, интерпретируемый как const char*). Здесь вы ничего не можете сделать против этого, кроме как сказать другим народам не делать дерьма. Это не проблема вашего конструктора и, следовательно, не ваша ответственность (кроме того, что вы не можете это предотвратить).

Вы наблюдаете, что вы можете неявно создать std::string из указателя символа (в данном случае nullptr), который затем передается функции. Однако создание string из нулевого указателя не допускается. В подписи вашего метода нет ничего плохого, просто использование клиента нарушает контракт конструктора std::string.

Как насчет использования типа прокси/обертки, если вы действительно хотите быть в безопасности:

template<typename T>
struct e_t
{
public:
    inline e_t ( e_t const & other )
        : m_value( other.m_value )
    {}

    inline T & value( void )                { return m_value; }
    inline operator T&()                    { return m_value;   }
    inline e_t( const T& c ) : m_value( c )     {}

private:
    T m_value;
};

void FanBookPost(int* owner, e_t<std::string> content) {
}

int main()
{
    int n = 0;
    //FanBookPost(&n, 0); // compiler error
    //FanBookPost(&n, nullptr); // compiler error
    //FanBookPost(&n, ""); // unfortunately compiler error too
    FanBookPost(&n, std::string(""));
}

Проблема в том, что std::string имеет неявный ctor, который принимает char * в качестве единственного (обязательного) параметра. Это дает неявное преобразование из nullptr в std::string, но дает неопределенное поведение, потому что этот ctor специально требует ненулевого указателя.

Есть несколько способов предотвратить это. Вероятно, наиболее эффективным было бы взять (неконстантную) ссылку на std::string, что потребует передачи (невременного) string в качестве параметра.

FanBookPost::FanBookPost(Fan* owner, std::string &content);

Это должно привести к нежелательному побочному эффекту предоставления функции возможности изменять переданную строку. Это также означает, что (с соответствующим компилятором¹) вы не сможете передать nullptr или строковый литерал в функцию — вам придется передать фактический экземпляр std::string.

Если вы хотите иметь возможность передавать строковый литерал, вы можете добавить перегрузку, которая принимает параметр char const *, и, возможно, также принимает параметр nullptr_t. Первый будет проверять наличие ненулевого указателя перед созданием строки и вызовом функции, которая берет ссылку на строку, а второй будет делать что-то вроде регистрации ошибки и безусловного завершения программы (или, возможно, протоколировать ошибку). и сгенерировать исключение).

Это раздражает и неудобно, но может улучшить текущую ситуацию.

1. К сожалению, в последний раз, когда я заметил, что MS VC++ не соответствует требованиям в этом отношении. Это позволяет передавать временный объект по неконстантной ссылке. Обычно это довольно безвредно (он просто позволяет вам модифицировать временное, но обычно не имеет видимых побочных эффектов). В этом случае это гораздо более проблематично, поскольку вы зависите от него специально, чтобы предотвратить передачу временного объекта.