C++ выбрать первый не нулевой элемент

Question

[обновление вопроса в соответствии с обновленными требованиями]
Я внедрено следующими функциями, которая должна возвращать либо первый не нулевой элемент или бросить исключение.
Также вы могли бы придумать более классическое и более короткое имя, например «max», «min», «pair»?

template <typename T> 
T select_first_not_empty(const T& a, const T&b) 
{ 
    static T null = T(); 

    if (a == null && b == null) 
     throw std::runtime_error("null"); 

    return 
     a != null ? a : b; 
} 

int main() 
{ 
    const int a1 = 2; 
    const int b1 = 0; 

    const int* a2 = 0; 
    const int* b2 = new int(5); 

    const std::string a3 = ""; 
    const std::string b3 = ""; 

    std::cout << select_first_not_empty(a1, b1) << std::endl; 
    std::cout << select_first_not_empty(a2, b2) << std::endl; 
    std::cout << select_first_not_empty(a3, b3) << std::endl; 

    return 0; 
} 

Answer 1

вы можете попробовать сделать следующий

template < typename T > 
T get_valuable(const T& firstValue, 
       const T& alternateValue, 
       const T& zerroValue = T()) 
{ 
    return firstValue != zerroValue ? firstValue : alternateValue; 
} 

// usage 
char *str = "Something"; // sometimes can be NULL 
std::string str2 (get_valuable(str, "")); 

// your function 
template <typename T> 
T select_first_not_empty(const T& a, 
          const T& b, 
          const T& zerroValue = T()) 
{ 
    const T result = get_valuable(a, b, zerroValue); 
    if (result == zerroValue) 
    { 
     throw std::runtime_error("null"); 
    } 
    return result; 
} 

Answer 2

Если для Т т е р делает ничего существенного, по-видимому, как вы делаете это в три раза, каждый раз через «select_first_not_empty».

Oracle называет нечто подобное «COALESCE», если вы ищете лучшее имя.

Я не уверен, в чем дело. Если бы я действительно хотел узнать, было ли что-то задано или нет, я бы использовал указатели с нулевым значением, а не ссылки. «NULL» - гораздо лучший показатель намерения не иметь переменную, чем использовать внутриполосное значение, например, 0 или «».

Answer 3

C# имеет аналогично функционирующий встроенный оператор ??, который, как я считаю, называется coalesce.

в Perl || (логический ИЛИ от короткого замыкания) оператор также имеет аналогичные функциональные возможности: вместо возврата 0 или 1, то возвращается значение первого аргумента, вычисляемое истинный:

0 || 7 

возвращает 7, а не 1 или true, как ожидал программист C \ C++ или C#.

Самое близкое к этому, что C++ имеет встроенный в это алгоритм find_if:

vector<int> vec; 
vec.push_back(0); 
vec.push_back(0); 
vec.push_back(7); 

vector<int>::iterator first_non_0 = 
    find_if(vec.begin(), vec.end(), bind2nd(not_equal_to<int>(), 0));