Как узнать, была ли «Наблюдаемая задача»?

Question

Это последующая деятельность после this question. Я также прочитал статью "Tasks and Unhandled Exceptions" Стивена Туба, и я думаю, что я понимаю, как работают задачи и исключения и что означает «наблюдаемая задача». Я, однако, не могу понять, как сказать, наблюдался ли Task или нет. Возможно ли это вообще без использования отражения?

Я хотел бы позаимствовать @Noseratio's code в качестве примера:

static async void Observe(Task task) 
{   
    await task; 
} 

// ... 

var taskObserved = false; 
var task = DoSomething() 
try 
{ 
    bool ready = await DoSomethingElse(); 
    if (!ready) 
     return null; 

    var value = await DoThirdThing(); // depends on DoSomethingElse 
    taskObserved = true; 
    return value + await task; 
} 
finally 
{ 
    if (!taskObserved) 
     Observe(task); 
} 

Если бы мы могли сказать, был ли соблюден задача, это можно было бы сделать проще и более удобным для чтения:

static async void Observe(Task task) 
{   
    if (!task.WasObserved) 
     await task; 
} 

// ... 

var task = DoSomething() 
try 
{ 
    bool ready = await DoSomethingElse(); 
    if (!ready) 
     return null; 

    var value = await DoThirdThing(); // depends on DoSomethingElse 
    return value + await task; 
} 
finally 
{ 
    Observe(task); 
} 

Answer 1

задачи не знаю, ожидаются ли они или нет. Это вроде как спрашивать, знает ли целое число, добавлено ли оно в другое целое число или нет.

Однако можно заметить исключение задачи и действительно ли это наблюдение запомнилось задачей. Важно различать незаслуженными исключениями и нерешённые задачи. Время выполнения имеет специальную логику для незаметных исключений задач, но не делает ничего особенного для неуправляемых задач.

Вы действительно не должны писать код, зависящий от ожидаемой задачи. Если семантика DoSomething является то, что она всегда должна ожидаться, даже если результат игнорируется (очень странное - но технически правильное - требование), то этот код должен быть достаточным:

var task = DoSomething(); 
try 
{ 
    bool ready = await DoSomethingElse(); 
    if (!ready) 
    return null; 

    var value = await DoThirdThing(); // depends on DoSomethingElse 
    return value + await task; 
} 
finally 
{ 
    await task; 
} 

С другой стороны, если семантика DoSomething в том, что задача может быть проигнорирована, если результат не нужен после того, как все (что гораздо более вероятно, так), то этот код должен быть достаточным:

var task = DoSomething(); 
bool ready = await DoSomethingElse(); 
if (!ready) 
    return null; 

var value = await DoThirdThing(); // depends on DoSomethingElse 
return value + await task; 

нет необходимости возиться с волнуясь о ожидалось ли задание.