they have fun 改否定

they don't have fun.因为have作为助动词时候否定形式有don't have而且这种用法正规
再问： 什么时候有HAVE+not?
再答： have not 的这种否定形式英式英语中有用到，但是正规书面语中不会用的，我想如果have后面是动词时可以吧，例如，they have gone to China, They haven't gone to China.你上面的题中fun是名词，如果用have not fun的话翻译为中文也很奇怪“没有快乐”而不是“不快乐”