模板化方法中的运算符重载

Question

我有一个 class （删除了不相关的细节）：

template <typename... Ts>
class ParameterPack
{
  private:
    std::tuple<Ts...> parameters;


  public:
    ParameterPack<Ts...>(const char* pVariableName)
    {
        /// Irrelevant extra details
    }


    template <typename T, std::size_t idx>
    T getValue()
    {
        return std::get<idx>(parameters);
    }


    template <std::size_t idx>
    void updateValue(unsigned int val)
    {
        std::get<idx>(parameters) = val;

        /// Irrelevant extra details
    }

template <class... Ts>
static ParameterPack<Ts...>* extractParameterPack(const char* name)
{
    // Construnt the new parameter extractor
    auto paramPack = new ParameterPack<Ts...>(name);

    /// Irrelevant extra details

    return paramPack;
}
};

其主要 function 是将字符串解析为其数据元素（内部保存在私有元组中）。 但是，我正在尝试改进updateValue和getValue接口的人体工程学。

我想重载[]以更改调用语法：

    auto val1 = parameterPack->getValue<float, 1>();

至：

    auto test2 = parameterPack[1];

但是我的重载永远不会生效。 我认为重载应该看起来接近：

或者可能：

    template <typename T, std::size_t idx>
    const T& operator[](std::size_t _idx) const
    {
        std::cout << "yay, overloading " << idx << std::endl;
        return idx * 1.0;
        // return std::get<idx>(parameters);
    }

如果我直接调用operator[] ，它会执行我的重载，但如果我只是尝试正常使用[]运算符则不会。

Answer 1

由于索引是运行时属性，因此不可能在索引上专门化模板化operator[] 。

出于这个原因， std::tuple有一个get<idx>()成员 function 而不是operator[] （参见这个相关问题）。

此外，不可能从赋值中推断出 function（或运算符）返回类型。

因此，不幸的是， template <typename T, std::size_t idx> operator[]...中的 Nether T和idx都可以推导出来，这将其排除在可行的重载候选集之外。