Juergen's questions

片段

#include <iostream>
#include <optional>

template <typename T>
struct W {
    operator T&() { return *t; }
    operator bool() const {
        std::cout << "called W bool operator\n";
        return t != nullptr;
    }

    T* t;
};

int main() {
    int x = 42;
    W<int> w{};
    w.t = &x;

    if (auto w_value = w) {
        std::cout << "w_value " << w_value << "\n";
    } else {
        std::cout << "w is empty" << "\n";
    }

    return 0;
}

代码在这里godbolt

我在这里想要的是，inif (auto w_value = w) w应该在上下文上可转换为 bool，以便赋值有效。

operator T&() { return *t; }如果注释掉该行，则此操作将按预期工作。

但是当启用此行时，bool转换运算符将不会被调用。

有没有办法让这段代码工作，使得如果w转换为，那么在 if-init 表达式中将分配true对的引用？t

我可以使用 c++20。

片段，同样在godbolt上

#include <tuple>
#include <utility>

template <typename Tuple, std::size_t... Ints>
auto select_tuple(Tuple&& tuple, std::index_sequence<Ints...>) {
    return std::tuple<std::tuple_element_t<Ints, Tuple>...>(
        std::get<Ints>(std::forward<Tuple>(tuple))...);
}

int main() {
    std::tuple<int, char, float> t{1, 'x', 2.0};
    auto t2 = select_tuple(t, std::index_sequence<0, 2>{});
}

正如您在 godbolt 链接中看到的，编译器抛出了一个错误：

/opt/compiler-explorer/gcc-snapshot/lib/gcc/x86_64-linux-gnu/15.0.0/../../../../include/c++/15.0.0/bits/utility.h:135:5: error: implicit instantiation of undefined template 'std::tuple_element<0, std::tuple<int, char, float> &>'
  135 |     using tuple_element_t = typename tuple_element<__i, _Tp>::type;

编译器认为它不知道std::tuple_element，但tuple已包含。这里出了什么问题？

Eric Niebler 前段时间写了一篇关于Universal References以下内容的文章Copy Constructor：

尼布勒

最后的解决方案是

template <typename A, typename B>
using disable_if_same_or_derived = std::enable_if_t<!std::is_base_of_v<A, std::remove_reference_t<B>>>;

缺点是std::is_base_of_v需要类型参数的完整定义。无法将其与转发类型一起使用。

我现在可以使用 c++20，想知道我们是否可以找到解决方案。你有什么想法吗？