Я определил тип записи со многими метками. Довольно часто мне нужно проверить разницу между двумя значениями этого типа записи --- чтобы увидеть, содержимое каких меток отличается.
Я думаю, что нет автоматического способа сделать это (например, итерации), я должен проверять разные случаи один за другим.
Например, чтобы проверить, всегда ли 2 значения имеют одинаковое содержимое, кроме одной метки, в настоящее время я делаю {v0 with label1 = a_content_of_label1} = {v1 with label1 = a_content_of_label1}
, мне это не кажется красивым, потому что мне нужно выбрать a_content_of_label1
самому.
Есть ли лучший способ сделать это? Большое спасибо!