[ARROW-15961] [C++] Check nullability when validating fields on batches or struct arrays

• Type: Bug
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Fix Version/s: 11.0.0
• Component/s: C++
• Labels: good-first-issue good-second-issue pull-request-available
• External issue URL: https://github.com/apache/arrow/issues/31387
• Assignee: Kaouther Abrougui
• Reporter: Antoine Pitrou
• Created: 17/Mar/22 17:02
• Updated: 11/Jan/23 11:40

Description

According to ARROW-15899, it is possible to declare a field non-nullable, associate with data that has nulls, and still pass validation.

Validation should instead fail in such a situation (at least full validation, since computing the null count can be O(n)).

Issue Links

• is related to: ARROW-16116 [C++] Properly handle non-nullable fields in Parquet reading
• relates to: ARROW-15899 [C++] Parquet writes broken file or incorrect data when nullable=False
• links to: GitHub Pull Request #12706