关于结构化绑定与 concept

我想要实现一个 concept C，其用于检查:

如果直接根据定义写的话，应该是这样：

CPP

template <typename T>
concept C = requires(T v) {
    [](T t){ auto [x, y] = t; }(v);
};

这对于所有满足 C 的 T 确实是对的，但是若 T 不满足 C（例如 T = int）就会直接编译错误，而不是我期望中的输出 0。

求一个解决方案（也就是实现一个 concept C），或者明确指出这不可能。

讨论操作