为什么在C＃中异步/等待即使被告知不返回可为空的值？

如何解决为什么在C＃中异步/等待即使被告知不返回可为空的值？

在给定以下C＃代码的情况下，使用C＃8，Visual Studio 2019 16.7.2：

#nullable enable

public async Task<string> GetStringAsync(); ...

public async void Main()
{
    var theString = await GetStringAsync();
    ...
}

将鼠标悬停在theString上会显示局部变量（字符串？）theString

我的GetStringAsync方法从不返回可为空的字符串，但该变量被推断为可为空。

这是一个智能错误吗？还是由于theString的某种工作原理，await实际上可以为null的事情更深入了？

解决方法

这是设计使然，与# Method described here https://stackoverflow.com/questions/15311853/plot-spectogram-from-mp3 from pydub import AudioSegment import matplotlib.pyplot as plt from scipy.io import wavfile from tempfile import mktemp def plot_mp3_matplot(filename): """ plot_mp3_matplot -- using matplotlib to simply plot time vs amplitude waveplot Arguments: filename -- filepath to the file that you want to see the waveplot for Returns -- None """ # sr is for 'sampling rate' # Feel free to adjust it x,sr = librosa.load(filename,sr=44100) plt.figure(figsize=(14,5)) librosa.display.waveplot(x,sr=sr) def convert_audio_to_spectogram(filename): """ convert_audio_to_spectogram -- using librosa to simply plot a spectogram Arguments: filename -- filepath to the file that you want to see the waveplot for Returns -- None """ # sr == sampling rate x,sr=44100) # stft is short time fourier transform X = librosa.stft(x) # convert the slices to amplitude Xdb = librosa.amplitude_to_db(abs(X)) # ... and plot,magic! plt.figure(figsize=(14,5)) librosa.display.specshow(Xdb,sr = sr,x_axis = 'time',y_axis = 'hz') plt.colorbar() # same as above,just changed the y_axis from hz to log in the display func def convert_audio_to_spectogram_log(filename): x,sr=44100) X = librosa.stft(x) Xdb = librosa.amplitude_to_db(abs(X)) plt.figure(figsize=(14,y_axis = 'log') plt.colorbar() 无关。

await始终可以为空，从the spec开始：

var为引用类型推断带注释的类型。例如，在var中，var s = "";被推断为var。

因此，当您使用string?时，不能将theString明确指定为不可为空。如果希望它不可为空，请显式使用var。

---

原因：简而言之，允许出现以下情况：

string

编译器将使用流分析来确定变量在任何给定点是否为null。 You can read more about the decision here.