fix: make <select> <option value> behavior consistent

.changeset/light-hounds-carry.md

@@ -0,0 +1,5 @@
+---
+'svelte': patch
+---
+
+fix: make `<select>` `<option value>` behavior consistent

packages/svelte/src/compiler/phases/3-transform/client/visitors/template.js

@@ -617,7 +617,16 @@ function serialize_element_special_value_attribute(element, node_id, attribute,
 
 	if (is_reactive) {
 		const id = state.scope.generate(`${node_id.name}_value`);
-		serialize_update_assignment(state, id, undefined, value, update);
+		serialize_update_assignment(
+			state,
+			id,
+			// `<option>` is a special case: The value property reflects to the DOM. If the value is set to undefined,
+			// that means the value should be set to the empty string. To be able to do that when the value is
+			// initially undefined, we need to set a value that is guaranteed to be different.
+			element === 'option' ? b.object([]) : undefined,
+			value,
+			update
+		);
 		return true;
 	} else {
 		state.init.push(update);

packages/svelte/src/internal/client/dom/elements/attributes.js

@@ -155,10 +155,20 @@ export function set_custom_element_data(node, prop, value) {
 export function set_attributes(element, prev, next, lowercase_attributes, css_hash) {
 	var has_hash = css_hash.length !== 0;
 	var current = prev || {};
+	var is_option_element = element.tagName === 'OPTION';
 
 	for (var key in prev) {
 		if (!(key in next)) {
-			next[key] = null;
+			if (is_option_element && key === 'value') {
+				// Because of the "set falsy option values to the empty string" logic below, which can't
+				// differentiate between a missing value and an explicitly set value of null or undefined,
+				// we need to remove the attribute here and delete the key from the object.
+				element.removeAttribute(key);
+				delete current[key];
+				delete next[key];
+			} else {
+				next[key] = null;
+			}
 		}
 	}
 
@@ -178,6 +188,20 @@ export function set_attributes(element, prev, next, lowercase_attributes, css_ha
 	for (const key in next) {
 		// let instead of var because referenced in a closure
 		let value = next[key];
+
+		// Up here because we want to do this for the initial value, too, even if it's undefined,
+		// and this wouldn't be reached in case of undefined because of the equality check below
+		if (is_option_element && key === 'value' && value == null) {
+			// The <option> element is a special case because removing the value attribute means
+			// the value is set to the text content of the option element, and setting the value
+			// to null or undefined means the value is set to the string "null" or "undefined".
+			// To align with how we handle this case in non-spread-scenarios, this logic is needed.
+			// @ts-ignore
+			element.value = element.__value = '';
+			current[key] = value;
+			continue;
+		}
+
 		var prev_value = current[key];
 		if (value === prev_value) continue;
 

packages/svelte/tests/runtime-runes/samples/select-falsy-value/_config.js

@@ -0,0 +1,66 @@
+import { flushSync } from 'svelte';
+import { test } from '../../test';
+
+// <option value> is special because falsy values should result in an empty string value attribute
+export default test({
+	mode: ['client'],
+	test({ assert, target }) {
+		assert.htmlEqual(
+			target.innerHTML,
+			`
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<button>update reactive spread</button>
+		`
+		);
+
+		const btn = target.querySelector('button');
+		btn?.click();
+		flushSync();
+
+		assert.htmlEqual(
+			target.innerHTML,
+			`
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option value="">Default</option>
+			</select>
+
+			<select>
+				<option>Default</option>
+			</select>
+
+			<button>update reactive spread</button>
+		`
+		);
+	}
+});

packages/svelte/tests/runtime-runes/samples/select-falsy-value/main.svelte

@@ -0,0 +1,28 @@
+<script>
+	let nonreactive = undefined;
+	let reactive = $state();
+	let nonreactive_spread = { value: undefined };
+	let reactive_spread = $state({ value: undefined });
+</script>
+
+<select>
+	<option value={undefined}>Default</option>
+</select>
+
+<select>
+	<option value={nonreactive}>Default</option>
+</select>
+
+<select>
+	<option value={reactive}>Default</option>
+</select>
+
+<select>
+	<option {...nonreactive_spread}>Default</option>
+</select>
+
+<select>
+	<option {...reactive_spread}>Default</option>
+</select>
+
+<button onclick={() => (reactive_spread = {})}>update reactive spread</button>