C# null коалесцирующий оператор эквивалент для C++

Question

Есть ли эквивалент C++ для оператора C# null коалесцирования? Я делаю слишком много нулевых проверок в моем коде. Так что искал способ уменьшить количество нулевого кода.

Answer 1

Существует не способ сделать это по умолчанию в C++, но вы могли бы написать один:

в C# на ?? оператор определяется как

a ?? b === (a != null ? a : b) 

Таким образом, метод C++ будет выглядеть

Coalesce(a, b) // put your own types in, or make a template 
{ 
    return a != null ? a : b; 
} 

Answer 2

Как об этом?

#define IFNULL(a,b) ((a) == null ? (b) : (a)) 

Answer 3

Я только что нашел это: The ?? operator aka the Null Coalescing Operator

У вас также есть его в C и C++ в качестве расширения GNU, используя «:» оператор:

строка PAGETITLE = GetTitle() ?: «Заголовок по умолчанию»;

Answer 4

Использование шаблонов и C++ 11 lambdas. Первый аргумент (левая часть) оценивается только один раз. Второй аргумент (правая сторона) оценивается только в том случае, если первый является ложным (обратите внимание, что «if» и «?» Статически передают предоставленное выражение в bool и что указатели имеют «явный оператор bool() const», который является равным к '! = nullptr')

template<typename TValue, typename TSpareEvaluator> 
TValue 
coalesce(TValue mainValue, TSpareEvaluator evaluateSpare) { 

    return mainValue ? mainValue : evaluateSpare(); 
} 

Пример использования

void * const  nonZeroPtr = reinterpret_cast<void *>(0xF); 
void * const otherNonZeroPtr = reinterpret_cast<void *>(0xA); 

std::cout << coalesce(nonZeroPtr, [&]() { std::cout << "Never called"; return otherNonZeroPtr; }) << "\n"; 

Будет просто напечатать '0xf' в консоли. Имея написать лямбда для ОРЗ является немного шаблонный

[&]() { return <rhs>; } 

, но это лучшее, что можно сделать, если один не имеет поддержки со стороны синтаксиса языка.

Answer 5

Просто хочу, чтобы расширить ответ @Samuel Гарсиа Обобщая шаблон и добавить вспомогательные макросы, чтобы сократить лямбда шаблонного:

#include <utility> 

namespace coalesce_impl 
{ 
    template<typename LHS, typename RHS> 
    auto coalesce(LHS lhs, RHS rhs) -> 
     typename std::remove_reference<decltype(lhs())>::type&& 
    { 
     auto&& initialValue = lhs(); 
     if (initialValue) 
      return std::move(initialValue); 
     else 
      return std::move(rhs()); 
    } 

    template<typename LHS, typename RHS, typename ...RHSs> 
    auto coalesce(LHS lhs, RHS rhs, RHSs ...rhss) -> 
     typename std::remove_reference<decltype(lhs())>::type&& 
    { 
     auto&& initialValue = lhs(); 
     if (initialValue) 
      return std::move(initialValue); 
     else 
      return std::move(coalesce(rhs, rhss...)); 
    } 
} 

#define COALESCE(x) (::coalesce_impl::coalesce([&](){ return (x); })) 
#define OR_ELSE ); }, [&](){ return (

Используя макросы, вы можете просто:

int* f(); 
int* g(); 
int* h(); 

int* x = COALESCE(f() OR_ELSE g() OR_ELSE h()); 

I надеюсь это поможет.