是否可以将引用存储在 std::any 中？

Question

我正在尝试一些事情并提出以下问题：是否有可能在 std::any 中存储对值的引用？

我尝试了以下方法：

#include <any>
#include <iostream>
#include <functional>

auto func_by_pointer(std::any obj)
{
    *std::any_cast<int *>(obj) += 2;
}
auto modify_by_pointer(int &a)
{
    func_by_pointer(std::make_any<int *>(&a));
}

auto func_by_reference_wrapper(std::any obj)
{
    std::any_cast<std::reference_wrapper<int>>(obj).get() -= 2;
}
auto modify_by_reference_wrapper(int &a)
{
    func_by_reference_wrapper(std::make_any<std::reference_wrapper<int>>(a));
}

auto func_by_reference(std::any obj)
{
    std::any_cast<int &>(obj) *= 2;
}
auto modify_by_reference(int &a)
{
    func_by_reference(std::make_any<int &>(a));
}

int main()
{
    auto value = 3;
    std::cout << value << '\n';
    modify_by_pointer(value);
    std::cout << value << '\n';
    modify_by_reference_wrapper(value);
    std::cout << value << '\n';
    modify_by_reference(value);
    std::cout << value << '\n';
}

结果如下输出：

3
5
3
3

然而，我期待它是：

3
5
3
6

因此，将指针传递给value 可以正常工作。将std::reference_wrapper 传递给value 也可以正常工作，但传递int& 不知何故不起作用。我在代码中做错了什么，还是通常无法将引用存储在 std::any 中？

Answer 1

您不能将引用存储在 std::any 中，因为对于给定类型 T，构造函数 std::any(T) 存储类型为 std::decay_t<T> 的值，它删除了引用限定符：

[any.cons]

template<class T>
  any(T&& value);

6. 设VT 为decay_­t<T>。

7. 要求：VT 应满足 Cpp17CopyConstructible 要求。

8. 效果：构造一个any类型的对象，其中包含一个VT类型的对象，直接用std::forward<T>(value)初始化。