c++ - 如何决定 constexpr 是否返回引用

Question

如果您有一个if constexpr ()决定做一件事或另一件事的函数，如何在一种情况下返回左值，在另一种情况下返回右值？

以下示例在第一个用法行中没有编译，因为返回类型auto为无引用：

static int number = 15;

template<bool getref>
auto get_number(int sometemporary)
{
    if constexpr(getref)
    {
        return number; // we want to return a reference here
    }
    else
    {
        (...) // do some calculations with `sometemporary`
        return sometemporary;
    }
}

void use()
{
    int& ref = get_number<true>(1234);
    int noref = get_number<false>(1234);
}

Answer 1

如何在一种情况下返回左值，在另一种情况下返回右值？

我想你可以试试decltype(auto)和几个括号

template<bool getref>
decltype(auto) get_number() // "decltype(auto)" instead of "auto"
{
    if constexpr(getref)
    {
        return (number); // not "number" but "(number)"
    }
    else
    {
        return 123123; // just a random number as example
    }
}

Answer 2

std::ref似乎对我有用：

#include <functional>
#include <iostream>

static int number = 15;

template<bool getref>
auto get_number()
{
    if constexpr(getref)
    {
        return std::ref(number); // we want to return a reference here
    }
    else
    {
        return 123123; // just a random number as example
    }
}

int main(int argc, char **argv)
{
    int& ref = get_number<true>();
    int noref = get_number<false>();

    std::cout << "Before ref " << ref << " and number " << number << std::endl;
    ref = argc;
    std::cout << "After ref " << ref << " and number " << number << std::endl;

    std::cout << "Before noref " << noref << " and number " << number << std::endl;
    noref = argc * 2;
    std::cout << "After noref " << noref << " and number " << number << std::endl;
}

在线尝试！

正如预期的那样，更改ref更改number（而不是更改noref），而更改noref不会更改其他内容。

由于行为是constexpr模板化std::ref的，因此返回number强制它实际进行引用。