Skip to content

Support ICustomQueryParameter members (TVPs): the value adds itself - #198

Merged
mgravell merged 4 commits into
list-expansionfrom
custom-parameters
Aug 20, 2026
Merged

Support ICustomQueryParameter members (TVPs): the value adds itself#198
mgravell merged 4 commits into
list-expansionfrom
custom-parameters

Conversation

@mgravell

Copy link
Copy Markdown
Member

Stacked on #197 (same Add-mode switch and the same guard family) — review that one first; this diff is small on top of it.

A member implementing SqlMapper.ICustomQueryParameter — a TVP from AsTableValuedParameter (on a DataTable or an IEnumerable<SqlDataRecord>) being the common case — previously bound as a single raw parameter. The generated AddParameters now calls value.AddParameter(command, name), which is the whole vanilla contract; a null reference-typed member throws with vanilla's exact message (inlined rather than via the obsolete ThrowNullCustomQueryParameter, so no version dependency), and a struct member gets no null test. CanPrepare is cleared since the parameter declares no DbType.

The #197 guards generalise: expandable and custom members are both self-binding — they contribute an unknowable number of parameters — so the same parse-side rules apply: no command caching, skip multi-exec, and skip alongside output/return parameters (PostProcess reads those back by index).

Note a bare DataTable member (without AsTableValuedParameter) is not covered here: vanilla routes that through its default-registered DataTableHandler, so it belongs to the type-handler story.

New CustomParameters fixture covers interface-typed, class and struct members, a custom member alongside a plain one, and both skips. Against the Dapper test-suite harness this clears the TVP/custom-param group in ParameterTests on both SqlClient providers.

A member implementing SqlMapper.ICustomQueryParameter (a TVP from
AsTableValuedParameter being the common case, on a DataTable or an
IEnumerable<SqlDataRecord>) previously bound as a single raw parameter;
now the generated AddParameters calls value.AddParameter(command, name),
which is the whole vanilla contract. A null reference-typed member throws
with vanilla's exact message; a struct member gets no null test. The
command cannot be prepared (no declared DbType).

The list-expansion guards generalise to cover this: expandable and custom
members are both 'self-binding' - they contribute an unknowable number of
parameters - so the same parse-side rules apply (no command caching; skip
multi-exec; skip alongside output/return parameters, which PostProcess
reads back by index). The shared p local pre-scan learns the new member
kind too.

New CustomParameters fixture covers interface-typed, class and struct
members, a custom member alongside a plain one, and both skips.
@mgravell
mgravell merged commit 4ff5c37 into list-expansion Aug 20, 2026
mgravell added a commit that referenced this pull request Aug 20, 2026
* Support list expansion (where X in @ids) by delegating to Dapper's own PackListParameters

An expandable (enumerable) member previously bound as a single raw parameter, which
fails at execution; now the generated AddParameters delegates to the public (obsolete,
"library usage only") SqlMapper.PackListParameters, which owns the whole in-list
contract: the SQL rewrite (including the empty-list and optimize-hint forms), per-item
parameters, DbString items, padding and string_split settings, and provider array
support. Calling the existing API means this works against every shipped Dapper, so no
feature-detection diagnostic is needed; the alternative - a fresh non-obsolete wrapper
in Dapper, probe-gated like the DynamicParameters overload - is a fair follow-up if we
would rather not lean on an [Obsolete] member from generated code.

Guard rails, all parse-side so the call-sites stay on vanilla Dapper rather than
misbehave:
- command caching is disabled for a factory with an expandable member (the parameter
  shape varies per call), and CanPrepare is cleared;
- multi-exec over elements with an expandable member is skipped (batch reuse updates
  parameters in-place, which cannot re-expand a list whose size changed);
- an expandable member alongside an output/return parameter is skipped (PostProcess
  reads those back by index, and expansion shifts every index after it).

The shared "p" local in AddParameters is now emitted only when some member still
needs it, since a factory whose members all expand otherwise declares it unused
(CS0168 in the consumer's build).

New ListExpansion fixture covers the three working shapes and both skips; the
TsqlTips golden moves off the raw bind, which was the broken behaviour.

* Tick the parity cells this lands

* Support ICustomQueryParameter members (TVPs): the value adds itself (#198)

* Support ICustomQueryParameter members: the value adds itself

A member implementing SqlMapper.ICustomQueryParameter (a TVP from
AsTableValuedParameter being the common case, on a DataTable or an
IEnumerable<SqlDataRecord>) previously bound as a single raw parameter;
now the generated AddParameters calls value.AddParameter(command, name),
which is the whole vanilla contract. A null reference-typed member throws
with vanilla's exact message; a struct member gets no null test. The
command cannot be prepared (no declared DbType).

The list-expansion guards generalise to cover this: expandable and custom
members are both 'self-binding' - they contribute an unknowable number of
parameters - so the same parse-side rules apply (no command caching; skip
multi-exec; skip alongside output/return parameters, which PostProcess
reads back by index). The shared p local pre-scan learns the new member
kind too.

New CustomParameters fixture covers interface-typed, class and struct
members, a custom member alongside a plain one, and both skips.

* Tick the parity cells this lands
mgravell added a commit that referenced this pull request Aug 26, 2026
* DAP000: separate refused-with-diagnostics from skipped-silently

The scorecard had two buckets, "unsupported API" and "skipped due to
diagnostics", and the second was not true of everything in it. A call-site can
be dropped with nothing said at all, and those were being counted as though a
diagnostic had explained them.

Measured on the Dapper suite, the old line read "82 unsupported API, 110
skipped due to diagnostics". It now reads "82 unsupported API, 75 refused with
diagnostics, 35 skipped silently" - so a third of the skips had no explanation
attached, and the instrument we have been steering by said otherwise.

Three sources, all now visible rather than inferred:

- CommandDefinition overloads. The analyzer only inspects call-sites with a
  string `sql` parameter (or one marked [Sql]); these carry the SQL inside the
  struct, so it never validates them and never reports. The generator sees them
  - it filters by method name - so they are counted, just not explained.
  IsVisibleToAnalyzer mirrors that entry condition so the generator can tell
  which of its skips anything will have reported.
- the self-binding guards from #197 and #198 (multi-exec over an expandable
  member; expandable alongside an output parameter). Documented in the fixture
  comments, invisible to consumers.
- GetRowParser's concreteType overload.

Adds CommandDefinitionOverloads as a pinned fixture, so the count moves if that
changes. Every golden .txt shifts with the message, and DAP004 asserts DAP000's
arguments explicitly, so it gains the new one.

Not fixed here: driving the silent count to zero. That needs a diagnostic at
each of those sites, which is a separate change - this one makes the number
visible so it can be driven down and kept there.

* Derive the gap table: classify Dapper's whole public surface, and pin it (#212)

The parity table's statuses were remembered rather than checked, and the two I
probed by hand this week were both understated. This replaces the guessing for
the question that can be answered mechanically - "what does Dapper.AOT do with
this overload?" - and leaves parity.md the judgement it is actually good for:
impact, complexity, and decisions like the runtime-registration non-goal.

The dispatch decision turns out to depend only on the method symbol, never on
the call-site, so IsDapperMethod gains a symbol overload and the test classifies
all 110 public SqlMapper extension methods without synthesising a single call.
No database, no harness, runs in a second.

The five dispositions, and what they found:

  candidate                      40  generation is attempted
  unsupported API (diagnosed)    16  refused, DAP001 names it
  unsupported API (undiagnosed)  13  refused, nothing says so
  skipped silently               27  dropped mute - vanilla under JIT, runtime
                                     failure under AOT, no build-time signal
  not inspected                   9  outside the name filter: AsList, Parse,
                                     GetTypeName and friends, which is correct -
                                     they need no interception

So 40 of 110 overloads give a consumer nothing to act on, almost all of them
CommandDefinition-shaped. That is the finding; fixing it is separate work.

The report is checked in and compared on every run, so an overload added
upstream fails the test rather than passing unnoticed, and a row moving into
'skipped silently' shows up in a diff.

Bounded deliberately: this says what happens to an *overload*, not to every call
of one - a supported overload can still be refused at a call-site for reasons of
its own. And it says nothing about behaviour; only the Dapper suite does that.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant