Issues when translating from TType to TNumber and parameterized types within methods.
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Java
- Sterne
- 928
- Forks
- 227
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
Many of the Java TF Ops use parameterized types for either TType, TNumber or both. Sometimes an Op uses <T extends TType> and sometimes another Op is using <T extends TNumber>. When writing a method that uses two different Ops that declare <T> differently, the compiler complains that T cannot be converted to the other type. It is interesting that TNumber is a subclass of TType. I have searched "Professor Google", but have not found an answer to this kind of problem.
TType to TNumber conversion is very common, especially if you are creating a base class with a common method signature across many similar objects. Sometimes, the subclass calls for a TType, sometimes a TNumber. The real problem, is when you have a common method such as public <T extends TType> Operand<T> call (Operand<T> input).
As a work around, let's say that you cast a TType to a TNumber (where <U extends TNumber>) as in:
@SuppressWarnings("unchecked")
Operand<U> uInput = (Operand<U>)input;
Now when you call something like tf.math.greater(uInput, otherValue);, the compiler complains:
no instance of type variables(s) exists so that T conforms to TNumber. That is because tf.math.greater uses <T extends TNumber> while other ops, like tf.nn.relu defines <T extends TType>.
Another way around this is to force erasure as in (Operand)value.
At a minimum, it would be nice if there were a convention like <T extends TType> and <U extends TNumber> consistently, but this may not solve all these kind of issues, as I have seen <U extends TType, T extends TType>, and <V extends TType, T extends TType, U extends TType>
The main issue that contributes to this problem is that the Ops require a mixture of types, so a higher level user is artificially juggling the situation by casting like above, or by forcing an erasure of the type.
IMO this situation is going to be confusing to the API user. I still haven't figured out a clean way to get around the issue when two method signatures use the same generic parameter in different ways.
Perhaps there is a better way. My gut feel is this is going to become a larger headache down the line.
The specific example I am running into at this time this problem is:
@Override
public Operand<T> call(Operand<T> input) {
@SuppressWarnings("unchecked")
Operand<U> uInput = (Operand<U>)input;
....
Operand<U> greater = tf.dtypes.cast(
tf.math.greater(uInput,
tf.dtypes.cast(tf.constant(threshold),
input.asTensor().dataType())), input.asTensor().dataType());
uInput = tf.math.mul(uInput, greater);
input = (Operand<T>)uInput;
...
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Es werden keine Dateien oder Tests genannt. Beginne damit, die Java-TF-Ops-Signaturen für tf.math.greater, tf.nn.relu, tf.dtypes.cast und tf.math.mul sowie Operand, TType und TNumber im Beispiel nachzuverfolgen. Als erledigt gilt die Aufgabe, wenn die generische API-Inkonsistenz behoben oder eindeutig dokumentiert ist und ein kompilierender Ansatz vorliegt, der unsichere Casts und Erasure vermeidet.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- java, tensorflow
- Bereich
- api, backend-api-design
- Issue-Typ
- Bug
- Schwierigkeit
- 5/5
- Geschätzter Aufwand
- Über eine Woche
- Aktivitätsstatus
- Veraltet
- Klarheit
- Muss geklärt werden
- Anfängerfreundlichkeit
- 25/100