Проверьте разницу между двумя значениями одного типа записи - PullRequest
2 голосов
/ 19 июля 2011

Я определил тип записи со многими метками.Довольно часто мне нужно проверять разницу между двумя значениями этого типа записи - чтобы увидеть, какие метки различаются.

Я думаю, что не существует автоматического способа сделать это (например, итерация), яприходится проверять разные случаи один за другим.

Например, чтобы проверить, имеют ли 2 значения всегда одинаковое содержимое, кроме одной метки, в настоящее время я делаю {v0 with label1 = a_content_of_label1} = {v1 with label1 = a_content_of_label1}, это выглядит не очень красиво, потому чтовыбрать a_content_of_label1 сам.

Есть ли лучший способ сделать это?Большое спасибо!

1 Ответ

6 голосов
/ 19 июля 2011

Что по этому поводу:

v0 = {v1 with label1 = v0.label1}
...