是否可以使用非常量变量和 as_const（） 从元组中检索元素？

问：

正如标题所述，我想知道是否可以将变量传递给元组？std::get<>()

我有一个头文件，其中包含一个结构，其中包含许多用于实例化不同对象类型的参数（和函数）。头文件本质上是一个帮助程序，用于在我测试不同的类时减少实例化中的冗余。

我正在尝试调整定义/初始化函数，以允许使用集合和可变元组将自定义参数（非默认值）传递到其中。该集表示与参数关联的索引，元组将包含要替换到参数中的非默认值。如果集合中存在索引（与参数隐式关联），则使用传入的值代替默认值。

我有一个滚动索引，用于跟踪元组中要从中检索元素的下一个位置。每当从元组中检索项时，索引都会更新。i

使用滚动索引的原因是，其中一些对象在其构造函数中吸收了许多参数 （>10），但我通常只需要通过传入 1-3 个无效参数来测试（预期的）非名义行为。因此，对我来说，理想的情况是不必传入一个大小为参数数的元组（并用占位符填充未被替换的值）。虽然这样可以避免“动态”计算下一个索引的需要，因为它将是 1：1 映射，但这对我来说有点不优雅。i

下面是我的代码的简化版本：

#include <iostream>
#include <tuple>
#include <utility>
#include <set>

struct MyStruct
{
    int my_int;
    char my_char;
    std::string my_string;

    template <typename...T>
    void initParams(std::set<int> paramIndices=std::set<int>(), std::tuple<T...> customParams=std::tuple<T...>())
    {   
        auto i=0;

        // size of set and tuple must match
        if(paramIndices.size()==std::tuple_size<std::tuple<T...>>{})
        {
            // if values are present, substitute them

            // these throw an error, which is understandable; i is not const, const template argument is required for std::get<>
            my_int = paramIndices.contains(0) ? std::get<i++>(customParams) : 0;
            my_char = paramIndices.contains(1) ? std::get<i++>(customParams) : 'a';
            my_string = paramIndices.contains(2) ? std::get<i++>(customParams) : "hello";

            // attempt to use as_const() to introduce const-ness
            // why do these throw an error as well?
            my_int = paramIndices.contains(0) ? std::get<std::as_const(i++)>(customParams) : 0;
            my_char = paramIndices.contains(1) ? std::get<std::as_const(i++)>(customParams) : 'a';
            my_string = paramIndices.contains(2) ? std::get<std::as_const(i++)>(customParams) : "hello";
        }
    }
    
    /* do stuff with params
    ...
    */

};

int main()
{
    std::set<int> s{0, 2};
    std::tuple t{500, "world"};

    MyStruct().initParams(s, t);
}

我将 CMake 用于更大的项目，但对于这个简化版本，我编译为：g++ -std=c++20 test.cpp

as_const 是在 C++17 中引入的，set 方法 contains（） 是在 C++20 中引入的。