Refactor DOM Bindings Completely Off of DOMProperty Meta Programming (#26546)

There are four places we have special cases based off the DOMProperty
config:
1) DEV-only: ReactDOMUnknownPropertyHook warns for passing booleans to
non-boolean attributes. We just need a simple list of all properties
that are affected by that. We could probably move this in under setProp
instead and have it covered by that list.
2) DEV-only: Hydration. This just needs to read the value from an
attribute and compare it to what we'd expect to see if it was rendered
on the client. This could use some simplification/unification of the
code but I decided to just keep it simple and duplicated since code size
isn't an issue.
3) DOMServerFormatConfig pushAttribute: This just maps the special case
to how to emit it as a HTML attribute.
4) ReactDOMComponent setProp: This just maps the special case to how to
emit it as setAttribute or removeAttribute.
Basically we just have to remember to keep pushAttribute and setProp
aligned. There's only one long switch in prod per environment.
This just turns it all to a giant simple switch statement with string
cases. This is in theory the most optimizable since syntactically all
the information for a hash table is there. However, unfortunately we
know that most VMs don't optimize this very well and instead just turn
them into a bunch of ifs. JSC is best. We can minimize the cost by just
moving common attribute to the beginning of the list.
If we shipped this, maybe VMs will get it together to start optimizing
this case but there's a chicken and egg problem here and the game theory
reality is that we probably don't want to regress. Therefore, I intend
to do a follow up after landing this which reintroduces an object
indirection for simple property aliases. That should be enough to make
the remaining cases palatable. I'll also extract the most common
attributes to the beginning or separate ifs.
Ran attribute-behavior fixture and the table is the same.

Author: sebmarkbage

packages/react-dom-bindings/src/client/CSSPropertyOperations.js

@@ -72,6 +72,21 @@ export function createDangerousStringForStyles(styles) {
  * @param {object} styles
  */
 exportfunctionsetValueForStyles(node,styles){
+if(styles!=null&&typeofstyles!=='object'){
+thrownewError(
+'The `style` prop expects a mapping from style properties to values, '+
+"not a string. For example, style={{marginRight: spacing + 'em'}} when "+
+'using JSX.',
+);
+}
+if(__DEV__){
+if(styles){
+// Freeze the next style object so that we can assume it won't be
+// mutated. We have already warned for this in the past.
+Object.freeze(styles);
+}
+}
+
 conststyle=node.style;
 for(conststyleNameinstyles){
 if(!styles.hasOwnProperty(styleName)){

packages/react-dom-bindings/src/client/DOMPropertyOperations.js

@@ -7,181 +7,14 @@
  * @flow
  */
 
-import{
-BOOLEAN,
-OVERLOADED_BOOLEAN,
-NUMERIC,
-POSITIVE_NUMERIC,
-}from'../shared/DOMProperty';
-
 importisAttributeNameSafefrom'../shared/isAttributeNameSafe';
-importsanitizeURLfrom'../shared/sanitizeURL';
 import{
 enableTrustedTypesIntegration,
 enableCustomElementPropertySupport,
-enableFilterEmptyStringAttributesDOM,
 }from'shared/ReactFeatureFlags';
 import{checkAttributeStringCoercion}from'shared/CheckStringCoercion';
 import{getFiberCurrentPropsFromNode}from'./ReactDOMComponentTree';
 
-importtype{PropertyInfo}from'../shared/DOMProperty';
-
-/**
- * Get the value for a property on a node. Only used in DEV for SSR validation.
- * The "expected" argument is used as a hint of what the expected value is.
- * Some properties have multiple equivalent values.
- */
-exportfunctiongetValueForProperty(
-node: Element,
-name: string,
-expected: mixed,
-propertyInfo: PropertyInfo,
-): mixed{
-if(__DEV__){
-constattributeName=propertyInfo.attributeName;
-
-if(!node.hasAttribute(attributeName)){
-// shouldRemoveAttribute
-switch(typeofexpected){
-case'function':
-case'symbol': // eslint-disable-line
-returnexpected;
-case'boolean': {
-if(!propertyInfo.acceptsBooleans){
-returnexpected;
-}
-}
-}
-switch(propertyInfo.type){
-caseBOOLEAN: {
-if(!expected){
-returnexpected;
-}
-break;
-}
-caseOVERLOADED_BOOLEAN: {
-if(expected===false){
-returnexpected;
-}
-break;
-}
-caseNUMERIC: {
-if(isNaN(expected)){
-returnexpected;
-}
-break;
-}
-casePOSITIVE_NUMERIC: {
-if(isNaN(expected)||(expected: any)<1){
-returnexpected;
-}
-break;
-}
-}
-if(enableFilterEmptyStringAttributesDOM){
-if(propertyInfo.removeEmptyString&&expected===''){
-if(__DEV__){
-if(name==='src'){
-console.error(
-'An empty string ("") was passed to the %s attribute. '+
-'This may cause the browser to download the whole page again over the network. '+
-'To fix this, either do not render the element at all '+
-'or pass null to %s instead of an empty string.',
-name,
-name,
-);
-}else{
-console.error(
-'An empty string ("") was passed to the %s attribute. '+
-'To fix this, either do not render the element at all '+
-'or pass null to %s instead of an empty string.',
-name,
-name,
-);
-}
-}
-returnexpected;
-}
-}
-returnexpected===undefined ? undefined : null;
-}
-
-// Even if this property uses a namespace we use getAttribute
-// because we assume its namespaced name is the same as our config.
-// To use getAttributeNS we need the local name which we don't have
-// in our config atm.
-constvalue=node.getAttribute(attributeName);
-
-if(expected==null){
-// We had an attribute but shouldn't have had one, so read it
-// for the error message.
-returnvalue;
-}
-
-// shouldRemoveAttribute
-switch(typeofexpected){
-case'function':
-case'symbol': // eslint-disable-line
-returnvalue;
-}
-switch(propertyInfo.type){
-caseBOOLEAN: {
-if(expected){
-// If this was a boolean, it doesn't matter what the value is
-// the fact that we have it is the same as the expected.
-// As long as it's positive.
-returnexpected;
-}
-returnvalue;
-}
-caseOVERLOADED_BOOLEAN: {
-if(value===''){
-returntrue;
-}
-if(expected===false){
-// We had an attribute but shouldn't have had one, so read it
-// for the error message.
-returnvalue;
-}
-break;
-}
-caseNUMERIC: {
-if(isNaN(expected)){
-// We had an attribute but shouldn't have had one, so read it
-// for the error message.
-returnvalue;
-}
-break;
-}
-casePOSITIVE_NUMERIC: {
-if(isNaN(expected)||(expected: any)<1){
-// We had an attribute but shouldn't have had one, so read it
-// for the error message.
-returnvalue;
-}
-break;
-}
-}
-if(__DEV__){
-checkAttributeStringCoercion(expected,name);
-}
-if(propertyInfo.sanitizeURL){
-// We have already verified this above.
-// eslint-disable-next-line react-internal/safe-string-coercion
-if(value===''+(sanitizeURL(expected): any)){
-returnexpected;
-}
-returnvalue;
-}
-// We have already verified this above.
-// eslint-disable-next-line react-internal/safe-string-coercion
-if(value===''+(expected: any)){
-returnexpected;
-}
-returnvalue;
-}
-}
-
 /**
  * Get the value for a attribute on a node. Only used in DEV for SSR validation.
  * The third argument is used as a hint of what the expected value is. Some
@@ -271,138 +104,6 @@ export function getValueForAttributeOnCustomComponent(
 }
 }
 
-/**
- * Sets the value for a property on a node.
- *
- * @param {DOMElement} node
- * @param {string} name
- * @param {*} value
- */
-exportfunctionsetValueForProperty(
-node: Element,
-propertyInfo: PropertyInfo,
-value: mixed,
-){
-constattributeName=propertyInfo.attributeName;
-
-if(value===null){
-node.removeAttribute(attributeName);
-return;
-}
-
-// shouldRemoveAttribute
-switch(typeofvalue){
-case'undefined':
-case'function':
-case'symbol': // eslint-disable-line
-node.removeAttribute(attributeName);
-return;
-case'boolean': {
-if(!propertyInfo.acceptsBooleans){
-node.removeAttribute(attributeName);
-return;
-}
-}
-}
-if(enableFilterEmptyStringAttributesDOM){
-if(propertyInfo.removeEmptyString&&value===''){
-if(__DEV__){
-if(attributeName==='src'){
-console.error(
-'An empty string ("") was passed to the %s attribute. '+
-'This may cause the browser to download the whole page again over the network. '+
-'To fix this, either do not render the element at all '+
-'or pass null to %s instead of an empty string.',
-attributeName,
-attributeName,
-);
-}else{
-console.error(
-'An empty string ("") was passed to the %s attribute. '+
-'To fix this, either do not render the element at all '+
-'or pass null to %s instead of an empty string.',
-attributeName,
-attributeName,
-);
-}
-}
-node.removeAttribute(attributeName);
-return;
-}
-}
-
-switch(propertyInfo.type){
-caseBOOLEAN:
-if(value){
-node.setAttribute(attributeName,'');
-}else{
-node.removeAttribute(attributeName);
-return;
-}
-break;
-caseOVERLOADED_BOOLEAN:
-if(value===true){
-node.setAttribute(attributeName,'');
-}elseif(value===false){
-node.removeAttribute(attributeName);
-}else{
-if(__DEV__){
-checkAttributeStringCoercion(value,attributeName);
-}
-node.setAttribute(attributeName,(value: any));
-}
-return;
-caseNUMERIC:
-if(!isNaN(value)){
-if(__DEV__){
-checkAttributeStringCoercion(value,attributeName);
-}
-node.setAttribute(attributeName,(value: any));
-}else{
-node.removeAttribute(attributeName);
-}
-break;
-casePOSITIVE_NUMERIC:
-if(!isNaN(value)&&(value: any)>=1){
-if(__DEV__){
-checkAttributeStringCoercion(value,attributeName);
-}
-node.setAttribute(attributeName,(value: any));
-}else{
-node.removeAttribute(attributeName);
-}
-break;
-default: {
-if(__DEV__){
-checkAttributeStringCoercion(value,attributeName);
-}
-letattributeValue;
-// `setAttribute` with objects becomes only `[object]` in IE8/9,
-// ('' + value) makes it output the correct toString()-value.
-if(enableTrustedTypesIntegration){
-if(propertyInfo.sanitizeURL){
-attributeValue=(sanitizeURL(value): any);
-}else{
-attributeValue=(value: any);
-}
-}else{
-// We have already verified this above.
-// eslint-disable-next-line react-internal/safe-string-coercion
-attributeValue=''+(value: any);
-if(propertyInfo.sanitizeURL){
-attributeValue=sanitizeURL(attributeValue);
-}
-}
-constattributeNamespace=propertyInfo.attributeNamespace;
-if(attributeNamespace){
-node.setAttributeNS(attributeNamespace,attributeName,attributeValue);
-}else{
-node.setAttribute(attributeName,attributeValue);
-}
-}
-}
-}
-
 exportfunctionsetValueForAttribute(
 node: Element,
 name: string,
@@ -439,6 +140,35 @@ export function setValueForAttribute(
 }
 }
 
+exportfunctionsetValueForNamespacedAttribute(
+node: Element,
+namespace: string,
+name: string,
+value: mixed,
+){
+if(value===null){
+node.removeAttribute(name);
+return;
+}
+switch(typeofvalue){
+case'undefined':
+case'function':
+case'symbol':
+case'boolean': {
+node.removeAttribute(name);
+return;
+}
+}
+if(__DEV__){
+checkAttributeStringCoercion(value,name);
+}
+node.setAttributeNS(
+namespace,
+name,
+enableTrustedTypesIntegration ? (value: any) : ''+(value: any),
+);
+}
+
 exportfunctionsetValueForPropertyOnCustomComponent(
 node: Element,
 name: string,