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

如果 T 的 ctor 做了任何重要的事情，那么看起来您每次都通过“select_first_not_empty”执行了三次。

如果您正在寻找更好的名称，Oracle 会调用类似的“COALESCE” 。

但我不确定重点是什么。 如果我真的想知道某些内容是否已设置，我会使用可为空的指针而不是引用。 与使用带内值（如 0 或“”）相比，“NULL”更能表明不设置变量的意图。

Answer 3

C# 有一个类似功能的内置运算符 ??，我认为它称为合并。

Perl 的 || （短路逻辑 OR）运算符也具有类似的功能：它返回第一个参数的值，而不是返回 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));