是否可以将变体的索引作为constexpr？

Question

我有以下代码（play with example）。它检查variant的基础值是什么，并使用get接收此基础值。如您所见，代码变得非常重复。

#include <variant>
#include <string>
#include <iostream>
#include <vector>

int main()
{
    std::variant<int, double, std::string> v;
    // v holds a string
    v = "hi there!";

    switch(v.index()) {
        case 0: 
            {   // brackets to avoid cross initialization
                int i = std::get<int>(v);
                // handle int
            }    
            break;
        case 1: 
            {
                double d = std::get<double>(v);
                // handle double
            }
            break;
        case 2: 
            {
                std::string s = std::get<std::string>(v);
                // handle string
            }
            break;
    }
}

问题：是否有某种方法可以将变体的索引作为constexpr。我想做这样的事情：

// what I would like to do
// auto val_of_v = std::get<v.index()>(v);

// Error: template argument deduction/substitution failed
//        in 'constexpr' expansion of v<...>::index()

相关文章： Get index by type in std::variant。

Answer 1

没有variant中的哪个对象在运行时是已知的，因此无法在编译时获取此信息。